Disabling the debug_script is quite hard

Michael Vasseur · Michael Vasseur · commit 028d9d503a03 · 2024-11-14T00:00:09.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
@@ -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.");
                 }
 
                 request(

Original file line number	Diff line number	Diff line change
`@@ -854,7 +854,7 @@ function fetch_executable_internal(`
`854`	`854`	`[$runpath, $workdir, $tmpfile]));`
`855`	`855`	`system($debug_cmd, $retval);`
`856`	`856`	`if ($retval !== 0) {`
`857`		`- disable('judgehost', 'hostname', $myhost, "Running '$runpath' failed.");`
	`857`	`+ disable('run_script', 'run_script_id', $judgeTask['run_script_id'], "Running '$runpath' failed.");`
`858`	`858`	`}`
`859`	`859`
`860`	`860`	`request(`