... | ... |
@@ -3,5 +3,7 @@ void win32pipe_fini(void); |
3 | 3 |
int win32pipe_pipe(int fds[2]); |
4 | 4 |
int win32pipe_read(int fd, char *buf, int count); |
5 | 5 |
int win32pipe_write(int fd, char *buf, int count); |
6 |
+int win32pipe_sleep(int ms); /* does not require calling win32pipe_init()/win32pipe_fini() */ |
|
7 |
+ |
|
6 | 8 |
|
7 | 9 |
|