1
0
mirror of https://github.com/php/php-src.git synced 2026-04-09 17:13:31 +02:00

Merge branch 'pull-request/2360' into PHP-7.0

* pull-request/2360:
  increase wait time in timeout_variation_10.phpt by 1 second
This commit is contained in:
Joe Watkins
2017-02-03 05:54:50 +00:00

View File

@@ -14,7 +14,7 @@ set_time_limit($t);
function f()
{
echo "call";
busy_wait(4);
busy_wait(5);
}
register_shutdown_function("f");