Try to fix permissions

1 files changed, 4 insertions, 1 deletions

diff --git a/public/index.php b/public/index.php
index b6ac78e..ac41acc 100644
--- a/public/index.php
+++ b/public/index.php
@@ -116,7 +116,10 @@ if (isset($_POST["code"]) && strlen($_POST["code"]) <= 16383) {
         "csrf" => $csrf,
     ];
 
-    delTree($runnerDir);
+    if ($isInDocker)
+        exec("su-exec root rm -rf '$runnerDir'");
+    else
+        delTree($runnerDir);
 
     echo json_encode($result);
     exit;