From 58647ef04cf42b3f4b78ab8f650f39213cafde2f Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Fri, 12 Oct 2012 15:13:14 -0400 Subject: [PATCH] Make the restart tool try again if it fails to restart. (imported from commit 216dcdcaa096c26e26b385029d62d0310349a6c9) --- zephyr_mirror.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/zephyr_mirror.py b/zephyr_mirror.py index 5694b59..93d8ca7 100755 --- a/zephyr_mirror.py +++ b/zephyr_mirror.py @@ -136,7 +136,13 @@ def update_subscriptions_from_humbug(): def maybe_restart_mirroring_script(): if os.stat("/mit/tabbott/for_friends/restart_stamp").st_mtime > start_time: print "zephyr mirroring script has been updated; restarting..." - os.execvp("/mit/tabbott/for_friends/zephyr_mirror.py", sys.argv) + while True: + try: + os.execvp("/mit/tabbott/for_friends/zephyr_mirror.py", sys.argv) + except: + print "Error restarting, trying again." + traceback.print_exc() + time.sleep(10) def process_loop(log): sleep_count = 0