lemon/random.h
changeset 562 b9b3473327e3
parent 463 88ed40ad0d4f
parent 511 879c55700cd4
child 564 2b6d5d22bb23
     1.1 --- a/lemon/random.h	Fri Jan 23 18:40:41 2009 +0100
     1.2 +++ b/lemon/random.h	Mon Feb 16 18:15:52 2009 +0000
     1.3 @@ -77,7 +77,7 @@
     1.4  #include <sys/types.h>
     1.5  #include <unistd.h>
     1.6  #else
     1.7 -#include <windows.h>
     1.8 +#include <lemon/bits/windows.h>
     1.9  #endif
    1.10  
    1.11  ///\ingroup misc
    1.12 @@ -662,9 +662,7 @@
    1.13        gettimeofday(&tv, 0);
    1.14        seed(getpid() + tv.tv_sec + tv.tv_usec);
    1.15  #else
    1.16 -      FILETIME time;
    1.17 -      GetSystemTimeAsFileTime(&time);
    1.18 -      seed(GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime);
    1.19 +      seed(bits::getWinRndSeed());
    1.20  #endif
    1.21        return true;
    1.22      }