diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/index.php | 5 |
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; |