From 5aadd74f0c6fd83918c5f88b48288533f38ba132 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Mon, 29 Oct 2012 14:34:24 -0400 Subject: [PATCH] Add tabbott/extra to the tabbott-stamp users. (imported from commit 378fa53fa8d2f237c8366969ff8a3efb0dee961a) --- 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 c40eb26..8519741 100755 --- a/bots/zephyr_mirror.py +++ b/bots/zephyr_mirror.py @@ -166,7 +166,7 @@ def update_subscriptions_from_humbug(): def maybe_restart_mirroring_script(): 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): print print "%s: zephyr mirroring script has been updated; restarting..." % \