# | Line 12 | Line 12 | static const char RCSid[] = "$Id$"; | |
---|---|---|
12 | #include <string.h> | |
13 | #include <signal.h> | |
14 | #include <sys/stat.h> | |
15 | + | #include <sys/types.h> |
16 | + | #include <sys/wait.h> |
17 | ||
18 | #include "platform.h" | |
19 | #include "rtprocess.h" /* getpid() */ |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |