]> granicus.if.org Git - php/commitdiff
increase wait time in timeout_variation_10.phpt by 1 second
authorRodrigo Prado <royopa@gmail.com>
Wed, 1 Feb 2017 23:22:35 +0000 (15:22 -0800)
committerJoe Watkins <krakjoe@php.net>
Fri, 3 Feb 2017 05:53:28 +0000 (05:53 +0000)
tests/basic/timeout_variation_10.phpt

index 158119e62f18269625dfcf13fac1346c24dcacb2..373be27b3d46e55a1ff27ff2ff047968d8ac011f 100644 (file)
@@ -14,7 +14,7 @@ set_time_limit($t);
 function f()
 {
        echo "call";
-       busy_wait(4);
+       busy_wait(5);
 }
 
 register_shutdown_function("f");