Skip to content

Commit f593067

Browse files
committed
Increase default timeout to 300s (as in the plugin)
1 parent eff50cf commit f593067

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

src/serena/tools/jetbrains_plugin_client.py

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,9 +41,13 @@ class JetBrainsPluginClient(ToStringMixin):
4141
"""
4242

4343
BASE_PORT = 0x5EA2
44+
PLUGIN_REQUEST_TIMEOUT = 300
45+
"""
46+
the timeout used for request handling within the plugin (a constant in the plugin)
47+
"""
4448
last_port: int | None = None
4549

46-
def __init__(self, port: int, timeout: int = 30):
50+
def __init__(self, port: int, timeout: int = PLUGIN_REQUEST_TIMEOUT):
4751
self.base_url = f"http://127.0.0.1:{port}"
4852
self.timeout = timeout
4953
self.session = requests.Session()

0 commit comments

Comments
 (0)