Disabling the debug_script is quite hard

Michael Vasseur · Michael Vasseur · commit 3c22760454be · 2024-11-14T22:05:52.000+01:00
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.
diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
@@ -909,7 +909,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.");
                 }
 
                 request(

Original file line number	Diff line number	Diff line change
`@@ -909,7 +909,7 @@ function fetch_executable_internal(`
`909`	`909`	`[$runpath, $workdir, $tmpfile]));`
`910`	`910`	`system($debug_cmd, $retval);`
`911`	`911`	`if ($retval !== 0) {`
`912`		`- disable('judgehost', 'hostname', $myhost, "Running '$runpath' failed.");`
	`912`	`+ disable('run_script', 'run_script_id', $judgeTask['run_script_id'], "Running '$runpath' failed.");`
`913`	`913`	`}`
`914`	`914`
`915`	`915`	`request(`