From 66fabbab2909c635eb86010312b93fe067409958 Mon Sep 17 00:00:00 2001
From: Nicky Gerritsen <github@accounts.nickygerritsen.nl>
Date: Mon, 8 Dec 2025 21:59:11 +0100
Subject: [PATCH] curl_close is a no-op since PHP 8.0, so drop it

---
 judge/judgedaemon.main.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
index 4b4a56ae4d..3fca91e93f 100644
--- a/judge/judgedaemon.main.php
+++ b/judge/judgedaemon.main.php
@@ -686,7 +686,6 @@ private function setupCurlHandle(string $restuser, string $restpass): \CurlHandl
     private function closeCurlHandles(): void
     {
         if (!empty($this->endpoint['ch'])) {
-            curl_close($this->endpoint['ch']);
             unset($this->endpoint['ch']);
         }
     }