# | Line 9 | Line 9 | static const char RCSid[] = "$Id$"; | |
---|---|---|
9 | ||
10 | #include <signal.h> | |
11 | #include <string.h> | |
12 | – | #ifdef _WIN32 |
13 | – | #include <process.h> /* getpid() */ |
14 | – | #endif |
12 | ||
13 | + | #include "rtprocess.h" /* getpid() */ |
14 | #include "holo.h" | |
15 | ||
16 | #ifndef BKBSIZE |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |