From ee953c03fbc7111f0c2567cae92c494ab59f1c3a Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Mon, 5 Nov 2012 13:10:41 -0500 Subject: [PATCH] zephyr_mirror: Fix name of MIT Zephyr realm. (imported from commit 2c4d269fee673171fcbacbd865135d266489559d) --- bots/zephyr_mirror.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bots/zephyr_mirror.py b/bots/zephyr_mirror.py index c0c5087..79758f7 100755 --- a/bots/zephyr_mirror.py +++ b/bots/zephyr_mirror.py @@ -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"