diff options
| author | Pixel <> | 2001-04-17 02:20:40 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-04-17 02:20:40 +0000 |
| commit | 58dbd2ed918bb9e6f93aed076f8f3de92d41d2f9 (patch) | |
| tree | 5a0333f391b042c2b25932fdc7fa2daed12140eb /src/simul.c | |
| parent | 17d89e026ee39bd30f8604ab397708d9bceb2fbf (diff) | |
Grou
Diffstat (limited to 'src/simul.c')
| -rw-r--r-- | src/simul.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/simul.c b/src/simul.c index 45c8092..7b56ce1 100644 --- a/src/simul.c +++ b/src/simul.c @@ -105,6 +105,9 @@ int main(int argc, char **argv) fprintf(stderr, _("\nPerforming shutdown...\n\n")); flush_all(); + + signal(SIGSEGV, NULL); + signal(SIGINT, NULL); fprintf(stderr, _("Exitting, bye!\n")); return 0; |