run-dev: Fix dev url showing extra port.

This commit fixes the issue of `run-dev.py`
showing the development URL with an
extra port when EXTERNAL_HOST
is specified.

Fixes: #17054
This commit is contained in:
Riken Shah
2021-01-23 06:03:58 +00:00
committed by Tim Abbott
parent 1a148f5d9a
commit baae227efb

View File

@@ -340,8 +340,8 @@ def shutdown_handler(*args: Any, **kwargs: Any) -> None:
io_loop.stop()
def print_listeners() -> None:
external_host = os.getenv('EXTERNAL_HOST', 'localhost')
print(f"\nStarting Zulip on:\n\n\t{CYAN}http://{external_host}:{proxy_port}/{ENDC}\n\nInternal ports:")
external_host = os.getenv('EXTERNAL_HOST', f'localhost:{proxy_port}')
print(f"\nStarting Zulip on:\n\n\t{CYAN}http://{external_host}/{ENDC}\n\nInternal ports:")
ports = [
(proxy_port, 'Development server proxy (connect here)'),
(django_port, 'Django'),