zephyr_mirror: More reliable killing of other zephyr_mirror processes.
(imported from commit ae00299114a74ebd582aec835ffd5f8127d8f55f)
This commit is contained in:
parent
0267275cfd
commit
205ad41a22
|
@ -168,6 +168,8 @@ def maybe_restart_mirroring_script():
|
|||
os.kill(child_pid, signal.SIGKILL)
|
||||
while True:
|
||||
try:
|
||||
if bot_name == "extra_mirror.py":
|
||||
os.execvp(root_path + "/extra_mirror.py", sys.argv)
|
||||
os.execvp(root_path + "/user_root/zephyr_mirror.py", sys.argv)
|
||||
except:
|
||||
print "Error restarting, trying again."
|
||||
|
@ -534,7 +536,11 @@ if options.forward_from_humbug:
|
|||
|
||||
# First check that there are no other bots running
|
||||
cmdline = " ".join(sys.argv)
|
||||
proc = subprocess.Popen(['pgrep', '-U', os.environ["USER"], "-f", cmdline],
|
||||
if "extra_mirror" in cmdline:
|
||||
bot_name = "extra_mirror.py"
|
||||
else:
|
||||
bot_name = "zephyr_mirror.py"
|
||||
proc = subprocess.Popen(['pgrep', '-U', os.environ["USER"], "-f", bot_name],
|
||||
stdout=subprocess.PIPE,
|
||||
stderr=subprocess.PIPE)
|
||||
out, _err_unused = proc.communicate()
|
||||
|
|
Loading…
Reference in a new issue