From b01102d3312aa75d2ba7db83cba892e0ba9f9458 Mon Sep 17 00:00:00 2001
From: Sam Hocevar <sam@hocevar.net>
Date: Thu, 11 Jan 2007 22:11:28 +0000
Subject: [PATCH]   * Don't stop if the process was killed by us.

---
 src/zzuf.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/zzuf.c b/src/zzuf.c
index 0f20d6c..74df71b 100644
--- a/src/zzuf.c
+++ b/src/zzuf.c
@@ -542,7 +542,9 @@ static void clean_children(void)
                     child_list[i].seed, WEXITSTATUS(status));
             crashes++;
         }
-        else if(WIFSIGNALED(status))
+        else if(WIFSIGNALED(status)
+                 && !(WTERMSIG(status) == SIGTERM
+                       && child_list[i].status == STATUS_SIGTERM))
         {
             fprintf(stdout, "zzuf[seed=%i]: signal %i%s\n",
                     child_list[i].seed, WTERMSIG(status),