Use non-internal function which handles the disabling already

As suggested by @meisterT.

Author: Michael Vasseur

judge/judgedaemon.main.php

@@ -896,16 +896,13 @@ function fetch_executable_internal(
                 // Full debug package requested.
                 $run_config = dj_json_decode($judgeTask['run_config']);
                 $tmpfile = tempnam(TMPDIR, 'full_debug_package_');
-                [$runpath, $error] = fetch_executable_internal(
+                [$runpath, $error] = fetch_executable(
                     $workdirpath,
                     'debug',
                     $judgeTask['run_script_id'],
-                    $run_config['hash']
+                    $run_config['hash'],
+                    $judgeTask['judgetaskid']
                 );
-                if (isset($error)) {
-                    $scriptId = $judgeTask['run_script_id'];
-                    disable('judgehost', 'hostname', $myhost, "Retrieving/storing debug script '$scriptId' failed.");
-                }
 
                 $debug_cmd = implode(' ', array_map('dj_escapeshellarg',
                     [$runpath, $workdir, $tmpfile]));