summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Kohl2024-11-07 18:00:42 +0100
committerJonas Kohl2024-11-07 18:00:42 +0100
commit1aaa16466d9549486a728bd31583adbac6c38431 (patch)
tree6d9ea21ffe7bd6db5470494914161bf29c357366
parent0f4328e1713dfea73e82c91a3ca194d734416fe3 (diff)
Delete runner files even if failure occurred
-rw-r--r--public/index.php1
1 files changed, 1 insertions, 0 deletions
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;
}
}