5428c5f296
Generated by com2ann (slightly patched to avoid also converting assignment type annotations, which require Python 3.6), followed by some manual whitespace adjustment, and two fixes for use-before-define issues: - def set_zulip_client(self, zulipToJabberClient: ZulipToJabberBot) -> None: + def set_zulip_client(self, zulipToJabberClient: 'ZulipToJabberBot') -> None: -def init_from_options(options: Any, client: Optional[str] = None) -> Client: +def init_from_options(options: Any, client: Optional[str] = None) -> 'Client': Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
41 lines
1 KiB
Python
Executable file
41 lines
1 KiB
Python
Executable file
#!/usr/bin/env python3
|
|
|
|
import sys
|
|
import subprocess
|
|
import os
|
|
import traceback
|
|
import signal
|
|
from types import FrameType
|
|
from typing import Any
|
|
from zulip import RandomExponentialBackoff
|
|
|
|
def die(signal: int, frame: 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)
|
|
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)
|