From ffd56178eae446e3a7cc1da21054bdace6dc851c Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Sat, 2 Mar 2024 11:08:17 +0100
Subject: [PATCH] Properly clean up version check script.

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

diff --git a/judge/judgedaemon.main.php b/judge/judgedaemon.main.php
index c0dab33e6a..1d0eb63560 100644
--- a/judge/judgedaemon.main.php
+++ b/judge/judgedaemon.main.php
@@ -1121,6 +1121,7 @@ function compile(
                         "Getting $type version failed with exit code $retval\n"
                         . $versions[$type];
                 }
+                unlink($vcscript);
             }
             if (isset($versions[$type])) {
                 $args .= "&$type=" . urlencode(base64_encode($versions[$type]));