changeset 8431 | 68fb2ccbce06 |
parent 8335 | 9ebc441dddde |
child 8481 | cf854106761d |
--- a/src/unix.cpp Wed Nov 21 13:50:36 2007 +0000 +++ b/src/unix.cpp Wed Nov 21 19:13:38 2007 +0000 @@ -136,8 +136,7 @@ } #endif - _random_seeds[1][1] = _random_seeds[1][0] = _random_seeds[0][1] = _random_seeds[0][0] = time(NULL); - SeedMT(_random_seeds[0][1]); + SetRandomSeed(time(NULL)); signal(SIGPIPE, SIG_IGN);