#if defined(_WIN32) | |
# include <windows.h> | |
#else | |
# include <unistd.h> | |
#endif | |
#include <stdio.h> | |
int main(void) | |
{ | |
fprintf(stderr, "before sleep\n"); | |
fflush(stderr); /* should not be needed, but just in case */ | |
#if defined(_WIN32) | |
Sleep((TIMEOUT + 4) * 1000); | |
#else | |
sleep((TIMEOUT + 4)); | |
#endif | |
fprintf(stderr, "after sleep\n"); | |
fflush(stderr); /* should not be needed, but just in case */ | |
return 0; | |
} |