diff options
-rw-r--r-- | ext/standard/tests/streams/bug78883.phpt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/standard/tests/streams/bug78883.phpt b/ext/standard/tests/streams/bug78883.phpt index 2dc1bc7d95..72380ddbd3 100644 --- a/ext/standard/tests/streams/bug78883.phpt +++ b/ext/standard/tests/streams/bug78883.phpt @@ -17,7 +17,7 @@ $cmd = 'cmd.exe "/c START ^"^" /WAIT ' . PHP_BINARY . ' -r ^"var_dump(fgets(STDI $proc = proc_open($cmd, $descriptorspec, $pipes);
var_dump(is_resource($proc));
$pid = proc_get_status($proc)['pid'];
-sleep(1);
+sleep(2);
$bug_is_present = !proc_get_status($proc)['running'];
if (!$bug_is_present) {
// if the bug is not present, it will hang waiting for stdin,
|