#include <sys/types.h>
#include <signal.h>
Go to the source code of this file.
Classes | |
class | ExitManager |
manages the ordered exiting of the program More... | |
Functions | |
static void | catch_sigint (int signr) |
Variables | |
set< pthread_t > | pending_threads |
static pthread_t | tid_caller = 0 |
Definition in file ExitManager.cc.
static void catch_sigint | ( | int | signr | ) | [static] |
Definition at line 105 of file ExitManager.cc.
References cout, endl(), and exit().
Referenced by ExitManager::StopFactorization().
set<pthread_t> pending_threads |
Definition at line 54 of file ExitManager.cc.
pthread_t tid_caller = 0 [static] |
Definition at line 104 of file ExitManager.cc.