- Increase timeut for -m testing

diff --git a/run-tests.php b/run-tests.php
index eac645fce58e67407ef168df100876b3d585e7e0..dfd54ae05199cecbde1fc1017f07e37e0889c86a 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -775,6 +775,8 @@ function error_report($testname, $logname, $tested)
 
 function system_with_timeout($commandline)
 {
+       global $leak_check;
+
        $data = "";
        
        $proc = proc_open($commandline, array(
@@ -793,7 +795,7 @@ function system_with_timeout($commandline)
                $r = $pipes;
                $w = null;
                $e = null;
-               $n = @stream_select($r, $w, $e, 60);
+               $n = @stream_select($r, $w, $e, $leak_check ? 300 : 60);
 
                if ($n === 0) {
                        /* timed out */