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