From 9be5871d100fa360618b03a0f2696c8f26f7b2c4 Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Fri, 22 Nov 2024 18:10:56 +0100 Subject: [PATCH] Remove unused variable. --- judge/judgedaemon.main.php | 2 -- 1 file changed, 2 deletions(-) diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php index ae63c1dfd4..49a469b464 100644 --- a/judge/judgedaemon.main.php +++ b/judge/judgedaemon.main.php @@ -789,8 +789,6 @@ function fetch_executable_internal( logmsg(LOG_INFO, "⇝ Received " . sizeof($row) . " '" . $type . "' judge tasks (endpoint $endpointID)"); - $jobId = $row[0]['jobid']; - if ($type == 'prefetch') { if ($lastWorkdir !== null) { cleanup_judging($lastWorkdir);