Add tabbott/extra to the tabbott-stamp users.

(imported from commit 378fa53fa8d2f237c8366969ff8a3efb0dee961a)
This commit is contained in:
Tim Abbott 2012-10-29 14:34:24 -04:00
parent e486be909e
commit 5aadd74f0c

View file

@ -166,7 +166,7 @@ def update_subscriptions_from_humbug():
def maybe_restart_mirroring_script(): def maybe_restart_mirroring_script():
if os.stat(root_path + "/stamps/restart_stamp").st_mtime > start_time or \ if os.stat(root_path + "/stamps/restart_stamp").st_mtime > start_time or \
(options.user == "tabbott" and ((options.user == "tabbott" or options.user == "tabbott/extra") and
os.stat(root_path + "/stamps/tabbott_stamp").st_mtime > start_time): os.stat(root_path + "/stamps/tabbott_stamp").st_mtime > start_time):
print print
print "%s: zephyr mirroring script has been updated; restarting..." % \ print "%s: zephyr mirroring script has been updated; restarting..." % \