From baae227efb18c3db0df23ddf7bcae199b2a96e65 Mon Sep 17 00:00:00 2001
From: Riken Shah <rikenshah.02@gmail.com>
Date: Sat, 23 Jan 2021 06:03:58 +0000
Subject: [PATCH] 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
---
 tools/run-dev.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/run-dev.py b/tools/run-dev.py
index f81fb44301..fc80b955b0 100755
--- a/tools/run-dev.py
+++ b/tools/run-dev.py
@@ -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'),