mirror of
https://github.com/php/php-src.git
synced 2026-04-10 17:43:13 +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.