mirror of
https://github.com/php/php-src.git
synced 2026-03-30 20:22:36 +02:00
# Poll returns 0 if it times out. # We check for 0 and use the user set timeout in set_options by passing -1.
# Poll returns 0 if it times out. # We check for 0 and use the user set timeout in set_options by passing -1.