Searched refs:system_with_timeout (Results 1 – 1 of 1) sorted by relevance
580 $valgrind_header = system_with_timeout($valgrind_cmd, $environment);1070 function system_with_timeout($commandline, $env = null, $stdin = null) function1515 …$output = system_with_timeout("$extra $php $pass_options -q $ini_settings -d display_errors=0 \"$t…1815 …$out = system_with_timeout($cmd, $env, isset($section_text['STDIN']) ? $section_text['STDIN'] : nu…1831 system_with_timeout("$extra $php $pass_options -q $clean_params \"$test_clean\"", $env);
Completed in 10 milliseconds
