Home
last modified time | relevance | path

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

/PHP-7.4/
H A Drun-tests.php1201 function system_with_timeout($commandline, $env = null, $stdin = null, $captureStdIn = true, $captu… function
2142 …$output = system_with_timeout("$extra $php $pass_options $extra_options -q $orig_ini_settings $no_…
2457 …$out = system_with_timeout($cmd, $env, $section_text['STDIN'] ?? null, $captureStdIn, $captureStdO…
2481system_with_timeout("$extra $php $pass_options $extra_options -q $orig_ini_settings $no_file_cache…
3626 $header = system_with_timeout("valgrind --tool={$this->tool} --version", $environment);

Completed in 11 milliseconds