increase background cmd sleep time

xingyaoww · Apr 20, 2024 · fadb609 · fadb609
1 parent 3908ae7
commit fadb609
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opendevin/sandbox/docker/ssh_box.py b/opendevin/sandbox/docker/ssh_box.py
@@ -380,7 +380,7 @@ def close(self):
     ssh_box.init_plugins([JupyterRequirement()])
 
     bg_cmd = ssh_box.execute_in_background(
-        "while true; do echo 'dot ' && sleep 1; done"
+        "while true; do echo 'dot ' && sleep 10; done"
     )
 
     sys.stdout.flush()