#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; }