mirror of
https://github.com/php/php-src.git
synced 2026-04-22 15:38:49 +02:00
54248b18fe
Like Cygwin, this platform needs to use a real-time timer. This was based on a patch by @kadler, but it didn't handle unsetting the timer, so the timeout would continue to be active, triggering `hard_timeout` unexpectedly. The patch is fixed to handle unsetting. Closes GH-6503.
46 KiB
46 KiB