* Don't stop if the process was killed by us.

2007-01-11 22:11:28 +00:00
parent 3df4ac25be
commit b01102d331
1 changed files with 3 additions and 1 deletions
@@ -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),