mirror of
https://github.com/php/php-src.git
synced 2026-04-09 00:53:30 +02:00
would be shared among the threads which is quite pointless. Also use a function of the current time as one factor. Use gettimeofday() instead of time(), because it is faster on some operating systems.