| # | 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 (old) |
| > | Changed lines (new) |