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

* pull-request/2359:
  increase wait time in timeout_variation_9.phpt by 1 second
This commit is contained in:
Joe Watkins 2017-02-03 06:00:34 +00:00
commit 75ad2b301a
No known key found for this signature in database
GPG key ID: F9BA0ADA31CBD89E

View file

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