python-zulip-api/zulip/integrations/jabber/jabber_mirror.py

43 lines
1.1 KiB
Python
Raw Normal View History

2020-04-02 09:59:28 -04:00
#!/usr/bin/env python3
from __future__ import print_function
import sys
import subprocess
import os
import traceback
import signal
2016-07-29 22:55:52 -04:00
from types import FrameType
from typing import Any
from zulip import RandomExponentialBackoff
def die(signal, frame):
2016-07-29 22:55:52 -04:00
# type: (int, FrameType) -> None
"""We actually want to exit, so run os._exit (so as not to be caught and restarted)"""
os._exit(1)
signal.signal(signal.SIGINT, die)
args = [os.path.join(os.path.dirname(sys.argv[0]), "jabber_mirror_backend.py")]
args.extend(sys.argv[1:])
backoff = RandomExponentialBackoff(timeout_success_equivalent=300)
while backoff.keep_going():
print("Starting Jabber mirroring bot")
try:
ret = subprocess.call(args)
2017-01-08 10:46:33 -05:00
except Exception:
traceback.print_exc()
else:
if ret == 2:
# Don't try again on initial configuration errors
sys.exit(ret)
backoff.fail()
print("")
print("")
print("ERROR: The Jabber mirroring bot is unable to continue mirroring Jabber.")
print("Please contact zulip-devel@googlegroups.com if you need assistance.")
print("")
sys.exit(1)