From 0b56ba51d0ad6b15116fa12d6b978b69c7b0992c Mon Sep 17 00:00:00 2001
From: Rodrigo Prado <royopa@gmail.com>
Date: Wed, 1 Feb 2017 21:12:05 -0200
Subject: [PATCH] increase wait time in timeout_variation_9.phpt by 1 second

---
 tests/basic/timeout_variation_9.phpt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/basic/timeout_variation_9.phpt b/tests/basic/timeout_variation_9.phpt
index 69b59c25e46..133fdf6daa5 100644
--- a/tests/basic/timeout_variation_9.phpt
+++ b/tests/basic/timeout_variation_9.phpt
@@ -14,7 +14,7 @@ set_time_limit($t);
 function f()
 {
 	echo "call";
-	busy_wait(4);
+	busy_wait(5);
 }
 
 register_shutdown_function("f");