mirror of
https://github.com/php/php-src.git
synced 2024-11-23 18:04:36 +08:00
Merge branch 'PHP-7.1'
* PHP-7.1: increase wait time in timeout_variation_10.phpt by 1 second
This commit is contained in:
commit
309d3daa39
@ -14,7 +14,7 @@ set_time_limit($t);
|
||||
function f()
|
||||
{
|
||||
echo "call";
|
||||
busy_wait(4);
|
||||
busy_wait(5);
|
||||
}
|
||||
|
||||
register_shutdown_function("f");
|
||||
|
Loading…
Reference in New Issue
Block a user