diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03 02:12:26 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03 02:12:26 +0000 |
| commit | 363f40022f08b3a7f5571574ddecf785db39584a (patch) | |
| tree | 3e3223ac46669db23b7f3a27c61ead9c34efbf62 /src | |
| parent | 7951c3c5460324c652d42f5f92bcae44e0a0b9c7 (diff) | |
* Pid::kill() should be interruptable.
Diffstat (limited to 'src')
| -rw-r--r-- | src/libutil/util.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/libutil/util.cc b/src/libutil/util.cc index 4460d95b8..7c1138720 100644 --- a/src/libutil/util.cc +++ b/src/libutil/util.cc @@ -685,9 +685,11 @@ void Pid::kill() /* Wait until the child dies, disregarding the exit status. */ int status; - while (waitpid(pid, &status, 0) == -1) + while (waitpid(pid, &status, 0) == -1) { + checkInterrupt(); if (errno != EINTR) printMsg(lvlError, (SysError(format("waiting for process %1%") % pid).msg())); + } pid = -1; } |