From 1aaa16466d9549486a728bd31583adbac6c38431 Mon Sep 17 00:00:00 2001
From: Jonas Kohl
Date: Thu, 7 Nov 2024 18:00:42 +0100
Subject: Delete runner files even if failure occurred

---
 public/index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/public/index.php b/public/index.php
index 5a77566..4f0f0ff 100644
--- a/public/index.php
+++ b/public/index.php
@@ -89,6 +89,7 @@ if (isset($_POST["code"]) && strlen($_POST["code"]) <= 16383) {
                     "message" => "Execution failed:\n$stderrContents",
                     "csrf" => csrf_token(),
                 ]);
+                delTree($runnerDir);
                 exit;
             }
         }
-- 
cgit v1.2.3