Home
last modified time | relevance | path

Searched refs:system_with_timeout (Results 1 – 1 of 1) sorted by relevance

/PHP-7.2/
H A Drun-tests.php608 $valgrind_header = system_with_timeout($valgrind_cmd, $environment);
1121 function system_with_timeout($commandline, $env = null, $stdin = null, $captureStdIn = true, $captu… function
1638 …$output = system_with_timeout("$extra $php $pass_options -q $ini_settings $no_file_cache -d displa…
1962 …$out = system_with_timeout($cmd, $env, isset($section_text['STDIN']) ? $section_text['STDIN'] : nu…
1988system_with_timeout("$extra $php $pass_options -q $clean_params $no_file_cache \"$test_clean\"", $…

Completed in 15 milliseconds