diff options
Diffstat (limited to 'sourcecodes/executionprogress_default.php')
| -rw-r--r-- | sourcecodes/executionprogress_default.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sourcecodes/executionprogress_default.php b/sourcecodes/executionprogress_default.php index e609bfa4..88d877ac 100644 --- a/sourcecodes/executionprogress_default.php +++ b/sourcecodes/executionprogress_default.php @@ -4,6 +4,7 @@ include("header_new.inc"); include("runtime_check.php"); include("input_validate.php"); +require("terminal_commands.php"); $keyval=valid_keyval($_GET["My_key"]); //$dir="./data/"; @@ -24,7 +25,7 @@ $k_number=trim($k_number); //////////////////Check execution time/////////////////////////////////////////////// $runtime=exe_time($keyval,$parent_number,$k_number); -shell_exec('./run_scripts/run_settings '.$keyval); +runTerminalCommand([realpath(__DIR__.'/run_scripts/run_settings'), $keyval]); ?> <div id="execute_div"> |