| version 1.6 | | version 1.7 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_time_c = | | * static char *rcsid_time_c = |
| * "$Id: time.c,v 1.6 2001/04/09 06:59:46 mwedel Exp $"; | | * "$Id: time.c,v 1.7 2001/04/18 14:48:09 avogl Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| static struct timeval sleep_time; | | static struct timeval sleep_time; |
| sleep_time.tv_sec = sleep_sec; | | sleep_time.tv_sec = sleep_sec; |
| sleep_time.tv_usec = sleep_usec; | | sleep_time.tv_usec = sleep_usec; |
| | | |
| | | #ifndef WIN32 /* 'select' doesn't work on Windows, 'Sleep' is used instead */ |
| select(0, NULL, NULL, NULL, &sleep_time); | | select(0, NULL, NULL, NULL, &sleep_time); |
| | | #else |
| | | if (sleep_time.tv_sec) Sleep(sleep_time.tv_sec*1000); |
| | | Sleep((int)(sleep_time.tv_usec/1000.)); |
| | | #endif |
| } | | } |
| else | | else |
| process_utime_long_count++; | | process_utime_long_count++; |