add different polling intervals for ssh and local backends. ssh has a

longer roundtrip
This commit is contained in:
alt-glitch 2026-03-15 02:33:04 +05:30
parent 879b7d3fbf
commit e266530c7d
2 changed files with 4 additions and 1 deletions

View file

@ -40,6 +40,7 @@ class PersistentShellMixin:
def _cleanup_temp_files(self): ...
_session_id: str = ""
_poll_interval: float = 0.01
@property
def _temp_prefix(self) -> str:
@ -223,7 +224,7 @@ class PersistentShellMixin:
)
self._send_to_shell(ipc_script)
deadline = time.monotonic() + timeout
poll_interval = 0.15
poll_interval = self._poll_interval
while True:
if is_interrupted():