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 21, 2024 · b455297 · b455297
1 parent 0b2d981
commit b455297
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
@@ -840,8 +840,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',