Skip to content

Commit 5441b53

Browse files
authored
fix(server): update server url when the port change (jxmorris12#210)
1 parent c12e0d6 commit 5441b53

2 files changed

Lines changed: 2 additions & 0 deletions

File tree

‎CHANGELOG.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/2.0.0/),
3232

3333
### Fixed
3434
- Corrected a bug in `language_tool_python.config_file.LanguageToolConfig` where directory paths were incorrectly rejected by the path validator.
35+
- Fixed a bug in `LanguageTool._start_server_on_free_port` where `_url` was not updated when retrying on a different port, causing all subsequent server requests to target the wrong (original) port.
3536

3637
### Removed
3738
- **Breaking:** Removed all functions and classes previously deprecated in v3.3.0:

‎src/language_tool_python/server.py‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1101,6 +1101,7 @@ def _start_server_on_free_port(self) -> None:
11011101
if len(self._available_ports) > 0:
11021102
old_port = self._port
11031103
self._port = self._available_ports.pop()
1104+
self._url = f"http://{self._host}:{self._port}/v2/"
11041105
logger.debug("Port %s failed, trying port %s", old_port, self._port)
11051106
else:
11061107
raise

0 commit comments

Comments
 (0)