void termination_handler(int signum)
void termination_handler(int signum)Description
////////////////////////////////////////////////////////////////////////
Declared at: libs/pika/runtime/src/runtime.cpp:137
Parameters
- int signum
void termination_handler(int signum)////////////////////////////////////////////////////////////////////////
Declared at: libs/pika/runtime/src/runtime.cpp:137