feat: attempt to SIGTERM before SIGKILL for bash

This commit is contained in:
Ruben Fiszel
2023-09-11 18:55:19 +02:00
parent a836c6266b
commit f40bbba519
11 changed files with 57 additions and 3 deletions
@@ -123,6 +123,7 @@ pub async fn handle_bash_job(
&job.workspace_id,
"bash run",
job.timeout,
true,
)
.await?;
@@ -260,6 +261,7 @@ pub async fn handle_powershell_job(
&job.workspace_id,
"bash/powershell run",
job.timeout,
false,
)
.await?;