zephyr_mirror: Fix name of MIT Zephyr realm.
(imported from commit 2c4d269fee673171fcbacbd865135d266489559d)
This commit is contained in:
parent
07c190d94b
commit
ee953c03fb
|
@ -82,7 +82,7 @@ def to_humbug_username(zephyr_username):
|
|||
if "@" in zephyr_username:
|
||||
(user, realm) = zephyr_username.split("@")
|
||||
else:
|
||||
(user, realm) = (zephyr_username, "mit.edu")
|
||||
(user, realm) = (zephyr_username, "ATHENA.MIT.EDU")
|
||||
if realm.upper() == "ATHENA.MIT.EDU":
|
||||
return user.lower() + "@mit.edu"
|
||||
return user.lower() + "|" + realm.upper() + "@mit.edu"
|
||||
|
|
Loading…
Reference in a new issue