# | Line 19 | Line 19 | static const char RCSid[] = "$Id$"; | |
---|---|---|
19 | ||
20 | ||
21 | void | |
22 | + | quit(code) /* quit program */ |
23 | + | int code; |
24 | + | { |
25 | + | #ifdef MSTATS |
26 | + | if (code == 2 && errno == ENOMEM) |
27 | + | printmemstats(stderr); |
28 | + | #endif |
29 | + | if (ray_pnprocs > 0) /* close children if any */ |
30 | + | ray_pclose(0); |
31 | + | devclose(); |
32 | + | exit(code); |
33 | + | } |
34 | + | |
35 | + | |
36 | + | void |
37 | devopen( /* open device driver */ | |
38 | char *dname | |
39 | ) |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |