# | Line 6 | Line 6 | static const char RCSid[] = "$Id$"; | |
---|---|---|
6 | * Controlling process for multiple children | |
7 | */ | |
8 | ||
9 | + | #include <signal.h> |
10 | #include "rcontrib.h" | |
10 | – | #include "platform.h" |
11 | #include "rtprocess.h" | |
12 | #include "selcall.h" | |
13 | ||
# | Line 321 | Line 321 | end_children(int immed) | |
321 | ||
322 | while (nchild > 0) { | |
323 | nchild--; | |
324 | + | #ifdef SIGKILL |
325 | if (immed) /* error mode -- quick exit */ | |
326 | kill(kida[nchild].pr.pid, SIGKILL); | |
327 | + | #endif |
328 | if ((status = close_process(&kida[nchild].pr)) > 0 && !immed) { | |
329 | sprintf(errmsg, | |
330 | "rendering process returned bad status (%d)", |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |