# | Line 8 | Line 8 | static const char RCSid[] = "$Id$"; | |
---|---|---|
8 | ||
9 | #include <signal.h> | |
10 | #include "rcontrib.h" | |
11 | – | #include "platform.h" |
11 | #include "rtprocess.h" | |
12 | #include "selcall.h" | |
13 | ||
# | Line 322 | 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 |