diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2003-06-25 07:46:45 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2003-06-25 07:46:45 +0000 |
| commit | 6d0e6e844d591cfa9222b9a871ecba0560ad2ee1 (patch) | |
| tree | 84e84275d4f0ea5b67c2c1dbeba045fb39761d24 /test-skeleton.c | |
| parent | 7f8f7b9dc8a9709182574777bbe151388aa467bb (diff) | |
Update.
2003-06-19 Jakub Jelinek <jakub@redhat.com>
* test-skeleton.c (timeout_handler): If waitpid returned 0,
retry once after a second. If killed == 0, assume
WTERMSIG (status) == SIGKILL.
Diffstat (limited to 'test-skeleton.c')
| -rw-r--r-- | test-skeleton.c | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/test-skeleton.c b/test-skeleton.c index b9764285f0..1bffa69320 100644 --- a/test-skeleton.c +++ b/test-skeleton.c @@ -139,7 +139,20 @@ timeout_handler (int sig __attribute__ ((unused))) kill (pid, SIGKILL); /* Wait for it to terminate. */ - killed = waitpid (pid, &status, WNOHANG|WUNTRACED); + int i; + for (i = 0; i < 5; ++i) + { + killed = waitpid (pid, &status, WNOHANG|WUNTRACED); + if (killed != 0) + break; + + /* Delay, give the system time to process the kill. If the + nanosleep() call return prematurely, all the better. We + won't restart it since this probably means the child process + finally died. */ + struct timespec ts = { .tv_sec = 0, .tv_nsec = 100000000 }; + nanosleep (&ts, NULL); + } if (killed != 0 && killed != pid) { perror ("Failed to killed test process"); @@ -156,7 +169,7 @@ timeout_handler (int sig __attribute__ ((unused))) exit (0); #endif - if (WIFSIGNALED (status) && WTERMSIG (status) == SIGKILL) + if (killed == 0 || (WIFSIGNALED (status) && WTERMSIG (status) == SIGKILL)) fputs ("Timed out: killed the child process\n", stderr); else if (WIFSTOPPED (status)) fprintf (stderr, "Timed out: the child process was %s\n", |