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