| # | Line 9 | Line 9 | static const char RCSid[] = "$Id$"; | |
|---|---|---|
| 9 | */ | |
| 10 | ||
| 11 | #include "ray.h" | |
| 12 | + | #include "platform.h" |
| 13 | #include "source.h" | |
| 14 | #include "view.h" | |
| 15 | #include "random.h" | |
| # | Line 77 | Line 78 | quit(ec) /* make sure exit is called */ | |
| 78 | int ec; | |
| 79 | { | |
| 80 | if (ray_pnprocs > 0) /* close children if any */ | |
| 81 | < | ray_pclose(0); |
| 81 | > | ray_pclose(0); |
| 82 | > | else if (ray_pnprocs < 0) |
| 83 | > | _exit(ec); /* avoid flush in child */ |
| 84 | exit(ec); | |
| 85 | } | |
| 86 | ||
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |