diff --git a/os/utils.c b/os/utils.c index 5058285..dd5acd3 100644 --- a/os/utils.c +++ b/os/utils.c @@ -64,8 +64,10 @@ OR PERFORMANCE OF THIS SOFTWARE. #include #include #include +#if !defined(WIN32) || !defined(__MINGW32__) #include #include +#endif #include "misc.h" #include #define XSERV_t @@ -527,6 +529,13 @@ GiveUp(int sig) errno = olderrno; } +#if defined WIN32 && defined __MINGW32__ +_X_EXPORT CARD32 +GetTimeInMillis (void) +{ + return GetTickCount (); +} +#else _X_EXPORT CARD32 GetTimeInMillis(void) { @@ -541,6 +550,7 @@ GetTimeInMillis(void) X_GETTIMEOFDAY(&tv); return(tv.tv_sec * 1000) + (tv.tv_usec / 1000); } +#endif _X_EXPORT void AdjustWaitForDelay (pointer waitTime, unsigned long newdelay) @@ -798,11 +808,13 @@ ProcessCommandLine(int argc, char *argv[]) } else if ( strcmp( argv[i], "-core") == 0) { - struct rlimit core_limit; CoreDump = TRUE; +#if !defined(WIN32) || !defined(__MINGW32__) + struct rlimit core_limit; getrlimit (RLIMIT_CORE, &core_limit); core_limit.rlim_cur = core_limit.rlim_max; setrlimit (RLIMIT_CORE, &core_limit); +#endif } else if ( strcmp( argv[i], "-dpi") == 0) {