From 903403a90c0aa7dd97632aca38519cb46d2a7be4 Mon Sep 17 00:00:00 2001 From: Tim Date: Tue, 27 May 2025 12:02:22 +0800 Subject: [PATCH] chore: add kill after for timeout (#899) --- rdagent/utils/env.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rdagent/utils/env.py b/rdagent/utils/env.py index de81d988..2ea9b1bb 100644 --- a/rdagent/utils/env.py +++ b/rdagent/utils/env.py @@ -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'"