paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-15 19:31:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

zephyr_mirror: Fix name of MIT Zephyr realm.

Browse Source 
(imported from commit 2c4d269fee673171fcbacbd865135d266489559d)
This commit is contained in:
Tim Abbott
2012-11-05 13:10:41 -05:00
parent 3af18006ce
commit 850e70c592
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
api/bots/zephyr_mirror.py
View File

@@ -82,7 +82,7 @@ def to_humbug_username(zephyr_username):
if "@" in zephyr_username: if "@" in zephyr_username:
(user, realm) = zephyr_username.split("@") (user, realm) = zephyr_username.split("@")
else: else:
(user, realm) = (zephyr_username, "mit.edu") (user, realm) = (zephyr_username, "ATHENA.MIT.EDU")
if realm.upper() == "ATHENA.MIT.EDU": if realm.upper() == "ATHENA.MIT.EDU":
return user.lower() + "@mit.edu" return user.lower() + "@mit.edu"
return user.lower() + "|" + realm.upper() + "@mit.edu" return user.lower() + "|" + realm.upper() + "@mit.edu"