mirror of
https://github.com/zulip/zulip.git
synced 2025-11-13 10:26:28 +00:00
Add a different stamp for auto-restarting just tabbott.
(imported from commit 8f0b1f0bf655d64329a42100eec3dbef1393ded0)
This commit is contained in:
@@ -135,7 +135,9 @@ def update_subscriptions_from_humbug():
|
|||||||
ensure_subscribed(stream)
|
ensure_subscribed(stream)
|
||||||
|
|
||||||
def maybe_restart_mirroring_script():
|
def maybe_restart_mirroring_script():
|
||||||
if os.stat(root_path + "/restart_stamp").st_mtime > start_time:
|
if os.stat(root_path + "/restart_stamp").st_mtime > start_time or \
|
||||||
|
(os.environ["USER"] == "tabbott" and
|
||||||
|
os.stat(root_path + "/tabbott_stamp").st_mtime > start_time):
|
||||||
print "zephyr mirroring script has been updated; restarting..."
|
print "zephyr mirroring script has been updated; restarting..."
|
||||||
while True:
|
while True:
|
||||||
try:
|
try:
|
||||||
|
|||||||
Reference in New Issue
Block a user