Fail when downloading/verifying the debug script fails

In the past we would continue but crashing is probably the better option as this would either indicate connection errors between domserver & judgehost or even a problem on the judgehost itself.
DOMjudge · Oct 20, 2024 · 136028a · 136028a
1 parent 43a0454
commit 136028a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
@@ -839,8 +839,8 @@ function fetch_executable_internal(
                     $run_config['hash']
                 );
                 if (isset($error)) {
-                    // FIXME
-                    continue;
+                    $scriptId = $judgeTask['run_script_id'];
+                    error("Retrieving/storing debug script '$scriptId' failed.");
                 }
 
                 $debug_cmd = implode(' ', array_map('dj_escapeshellarg',