22 lines
417 B
C
Raw Normal View History

2015-04-27 22:25:09 +02:00
#if defined(_WIN32)
2018-08-09 18:06:22 +02:00
# include <windows.h>
2015-04-27 22:25:09 +02:00
#else
2018-08-09 18:06:22 +02:00
# include <unistd.h>
2015-04-27 22:25:09 +02: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-07-09 11:21:54 +02:00
Sleep((TIMEOUT + 4) * 1000);
2015-04-27 22:25:09 +02:00
#else
2016-07-09 11:21:54 +02:00
sleep((TIMEOUT + 4));
2015-04-27 22:25:09 +02:00
#endif
fprintf(stderr, "after sleep\n");
fflush(stderr); /* should not be needed, but just in case */
return 0;
}