chore: add kill after for timeout (#899)

This commit is contained in:
Tim
2025-05-27 12:02:22 +08:00
committed by GitHub
parent 8c8aa92acb
commit 903403a90c
+1 -1
View File
@@ -213,7 +213,7 @@ class Env(Generic[ASpecificEnvConf]):
)
entry_add_timeout = (
f"/bin/sh -c 'timeout {self.conf.running_timeout_period} {entry}; "
f"/bin/sh -c 'timeout --kill-after=10 {self.conf.running_timeout_period} {entry}; "
+ "entry_exit_code=$?; "
+ (f"chmod -R 777 {self.conf.mount_path}; " if hasattr(self.conf, "mount_path") else "")
+ "exit $entry_exit_code'"