Add a different stamp for auto-restarting just tabbott.
(imported from commit 8f0b1f0bf655d64329a42100eec3dbef1393ded0)
This commit is contained in:
parent
3aaefa5108
commit
c66b080fd1
|
@ -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:
|
||||||
|
|
Loading…
Reference in a new issue