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

42 lines
1 KiB
Python
Raw Normal View History

2020-04-02 09:59:28 -04:00
#!/usr/bin/env python3
import os
import signal
2021-05-28 05:00:04 -04:00
import subprocess
import sys
import traceback
2016-07-29 22:55:52 -04:00
from types import FrameType
2021-05-28 05:00:04 -04:00
from zulip import RandomExponentialBackoff
2021-05-28 05:00:04 -04:00
def die(signal: int, frame: FrameType) -> None:
2016-07-29 22:55:52 -04:00
"""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)