diff options
Diffstat (limited to 'src/dumm/main.c')
| -rw-r--r-- | src/dumm/main.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/dumm/main.c b/src/dumm/main.c index e4fc6602a..8d4c3e688 100644 --- a/src/dumm/main.c +++ b/src/dumm/main.c @@ -395,10 +395,7 @@ void signal_action(int sig, siginfo_t *info, void *ucontext) } else { - dumm->destroy(dumm); - clear_history(); - printf("\n"); - exit(0); + printf("\nuse 'quit'\ndumm# "); } } |