Skip to content

Commit

Permalink
Disabling the debug_script is quite hard
Browse files Browse the repository at this point in the history
For languages/problem executables we have something else what we can disable but this doesn't work for `default_debug_scripts`.

We can either store this as a fact with the executable or remove this as the default option in the config.
  • Loading branch information
Michael Vasseur committed Nov 13, 2024
1 parent 9c61fcb commit 028d9d5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion judge/judgedaemon.main.php
Original file line number Diff line number Diff line change
Expand Up @@ -854,7 +854,7 @@ function fetch_executable_internal(
[$runpath, $workdir, $tmpfile]));
system($debug_cmd, $retval);
if ($retval !== 0) {
disable('judgehost', 'hostname', $myhost, "Running '$runpath' failed.");
disable('run_script', 'run_script_id', $judgeTask['run_script_id'], "Running '$runpath' failed.");

Check failure on line 857 in judge/judgedaemon.main.php

View workflow job for this annotation

GitHub Actions / phpcs

Expected 1 space after comma in argument list; 2 found
}

request(
Expand Down

0 comments on commit 028d9d5

Please sign in to comment.