Fix for issue where some cases use WORK_PORT and some use APP_PORT (#9830)

This commit is contained in:
Tim O'Farrell 2025-07-21 14:24:24 -06:00 committed by GitHub
parent bbfa37fd97
commit 6d7ab8a022
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -623,8 +623,16 @@ def _create_server(
os.getenv('VSCODE_PORT') or str(find_available_tcp_port(*VSCODE_PORT_RANGE))
)
app_ports = [
int(os.getenv('APP_PORT_1') or str(find_available_tcp_port(*APP_PORT_RANGE_1))),
int(os.getenv('APP_PORT_2') or str(find_available_tcp_port(*APP_PORT_RANGE_2))),
int(
os.getenv('WORK_PORT_1')
or os.getenv('APP_PORT_1')
or str(find_available_tcp_port(*APP_PORT_RANGE_1))
),
int(
os.getenv('WORK_PORT_2')
or os.getenv('APP_PORT_2')
or str(find_available_tcp_port(*APP_PORT_RANGE_2))
),
]
# Get user info