| 10 |
|
|
| 11 |
|
#include <errno.h> |
| 12 |
|
#include <stdio.h> |
| 13 |
< |
#ifdef _WIN32 |
| 13 |
> |
#if defined(_WIN32) || defined(_WIN64) |
| 14 |
|
#include <windows.h> /* DWORD etc. */ |
| 15 |
|
typedef DWORD RT_PID; |
| 16 |
|
#include <process.h> /* getpid() and others */ |
| 17 |
+ |
#define getpid _getpid |
| 18 |
+ |
#define execv _execv |
| 19 |
|
#else |
| 20 |
|
#include <sys/param.h> |
| 21 |
|
#include <sys/types.h> |
| 67 |
|
extern int readbuf(int fd, char *bpos, int siz); |
| 68 |
|
extern int writebuf(int fd, char *bpos, int siz); |
| 69 |
|
|
| 70 |
< |
#ifdef _WIN32 |
| 70 |
> |
#if defined(_WIN32) || defined(_WIN64) |
| 71 |
|
/* any non-negative increment will send the process to IDLE_PRIORITY_CLASS. */ |
| 72 |
|
extern int win_kill(RT_PID pid, int sig /* ignored */); |
| 73 |
|
extern int win_nice(int inc); |