diff --git a/ps/display.c b/ps/display.c
index 83500f36..bba539d4 100644
--- a/ps/display.c
+++ b/ps/display.c
@@ -66,6 +66,7 @@ static void signal_handler(int signo){
       error_at_line(0, 0, __FILE__, __LINE__, "%s", _("please report this bug"));
       signal(signo, SIG_DFL);  /* allow core file creation */
       kill(getpid(), signo);
+      _exit(EXIT_FAILURE);
   }
 }