2014-05-23 17:47:44 +04:00
|
|
|
#if defined(_WIN32)
|
2016-05-16 17:34:04 +03:00
|
|
|
#include <windows.h>
|
2014-05-23 17:47:44 +04:00
|
|
|
#else
|
2016-05-16 17:34:04 +03:00
|
|
|
#include <unistd.h>
|
2014-05-23 17:47:44 +04:00
|
|
|
#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)
|
2016-05-16 17:34:04 +03:00
|
|
|
Sleep((TIMEOUT + 4) * 1000);
|
2014-05-23 17:47:44 +04:00
|
|
|
#else
|
2016-05-16 17:34:04 +03:00
|
|
|
sleep((TIMEOUT + 4));
|
2014-05-23 17:47:44 +04:00
|
|
|
#endif
|
|
|
|
fprintf(stderr, "after sleep\n");
|
|
|
|
fflush(stderr); /* should not be needed, but just in case */
|
|
|
|
return 0;
|
|
|
|
}
|