dev_settings: Convert hostname to lower case when setting external host.

This commit is contained in:
Vishnu Ks
2017-11-29 23:21:30 +05:30
committed by Tim Abbott
parent 3d6340ef31
commit 954c363a2f

View File

@@ -16,7 +16,7 @@ if EXTERNAL_HOST is None:
user_name = pwd.getpwuid(user_id).pw_name
if user_name == "zulipdev":
# For our droplets, we use the external hostname by default.
EXTERNAL_HOST = os.uname()[1] + ":9991"
EXTERNAL_HOST = os.uname()[1].lower() + ":9991"
else:
# For local development environments, we use localhost by
# default, via the "zulipdev.com" hostname.