32 |
#include "misc.h" |
#include "misc.h" |
33 |
#include "settings.h" |
#include "settings.h" |
34 |
#include "var.h" |
#include "var.h" |
35 |
|
#include "signal.h" |
36 |
|
|
37 |
#ifdef HAVE_VALGRIND_VALGRIND_H |
#ifdef HAVE_VALGRIND_VALGRIND_H |
38 |
#include <valgrind/valgrind.h> |
#include <valgrind/valgrind.h> |
736 |
if (!registered) |
if (!registered) |
737 |
{ |
{ |
738 |
registered = 1; |
registered = 1; |
739 |
|
signal (SIGQUIT, (sighandler_t) exit_handler); |
740 |
|
signal (SIGINT, (sighandler_t) exit_handler); |
741 |
atexit (exit_handler); |
atexit (exit_handler); |
742 |
} |
} |
743 |
} |
} |