From b4552976a0fe70334175f347ef8e183fe9eb5b1c Mon Sep 17 00:00:00 2001
From: Michael Vasseur <michael.vasseur@vu.nl>
Date: Sun, 20 Oct 2024 11:37:19 +0200
Subject: [PATCH] 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.
---
 judge/judgedaemon.main.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
index 3cc5984d83..b6c87af283 100644
--- 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',