2020-04-02 09:59:28 -04:00
|
|
|
#!/usr/bin/env python3
|
2013-02-05 09:58:27 -05:00
|
|
|
import sys
|
2013-10-28 10:54:32 -04:00
|
|
|
import os
|
2013-02-05 09:58:27 -05:00
|
|
|
import logging
|
2017-09-29 19:21:18 -04:00
|
|
|
import argparse
|
2013-02-05 09:58:27 -05:00
|
|
|
import time
|
2017-09-14 05:18:39 -04:00
|
|
|
import json
|
2013-02-05 09:58:27 -05:00
|
|
|
import subprocess
|
|
|
|
import unicodedata
|
|
|
|
|
2013-10-28 10:54:32 -04:00
|
|
|
sys.path.append(os.path.join(os.path.dirname(__file__), '..', 'api'))
|
2013-08-07 11:51:03 -04:00
|
|
|
import zulip
|
2013-02-05 09:58:27 -05:00
|
|
|
|
2017-12-22 12:51:14 -05:00
|
|
|
from typing import Set, Optional
|
2016-10-16 01:34:14 -04:00
|
|
|
|
2021-04-06 17:44:46 -04:00
|
|
|
def fetch_public_streams() -> Optional[Set[str]]:
|
2013-02-05 09:58:27 -05:00
|
|
|
public_streams = set()
|
|
|
|
|
|
|
|
try:
|
2013-08-22 11:37:02 -04:00
|
|
|
res = zulip_client.get_streams(include_all_active=True)
|
2013-02-05 09:58:27 -05:00
|
|
|
if res.get("result") == "success":
|
|
|
|
streams = res["streams"]
|
|
|
|
else:
|
2013-01-14 13:08:33 -05:00
|
|
|
logging.error("Error getting public streams:\n%s" % (res,))
|
2013-02-05 09:58:27 -05:00
|
|
|
return None
|
|
|
|
except Exception:
|
|
|
|
logging.exception("Error getting public streams:")
|
|
|
|
return None
|
|
|
|
|
|
|
|
for stream in streams:
|
2013-06-24 15:15:33 -04:00
|
|
|
stream_name = stream["name"]
|
2013-02-05 09:58:27 -05:00
|
|
|
# Zephyr class names are canonicalized by first applying NFKC
|
|
|
|
# normalization and then lower-casing server-side
|
2021-04-06 17:44:46 -04:00
|
|
|
canonical_cls = unicodedata.normalize("NFKC", stream_name).lower()
|
|
|
|
if canonical_cls in ['security', 'login', 'network', 'ops', 'user_locate',
|
|
|
|
'mit', 'moof', 'wsmonitor', 'wg_ctl', 'winlogger',
|
|
|
|
'hm_ctl', 'hm_stat', 'zephyr_admin', 'zephyr_ctl']:
|
2013-02-05 09:58:27 -05:00
|
|
|
# These zephyr classes cannot be subscribed to by us, due
|
|
|
|
# to MIT's Zephyr access control settings
|
|
|
|
continue
|
|
|
|
|
|
|
|
public_streams.add(canonical_cls)
|
|
|
|
|
|
|
|
return public_streams
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
2013-10-04 13:19:57 -04:00
|
|
|
log_file = "/home/zulip/sync_public_streams.log"
|
2013-02-05 09:58:27 -05:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
log_format = "%(asctime)s: %(message)s"
|
|
|
|
logging.basicConfig(format=log_format)
|
|
|
|
formatter = logging.Formatter(log_format)
|
|
|
|
logger.setLevel(logging.DEBUG)
|
|
|
|
file_handler = logging.FileHandler(log_file)
|
|
|
|
file_handler.setFormatter(formatter)
|
|
|
|
logger.addHandler(file_handler)
|
|
|
|
|
2017-09-29 19:21:18 -04:00
|
|
|
parser = zulip.add_default_arguments(argparse.ArgumentParser())
|
|
|
|
options = parser.parse_args()
|
2017-03-20 15:14:38 -04:00
|
|
|
|
|
|
|
zulip_client = zulip.Client(client="ZulipSyncPublicStreamsBot/0.1")
|
|
|
|
|
2013-02-05 09:58:27 -05:00
|
|
|
while True:
|
2021-04-06 18:14:49 -04:00
|
|
|
# Sync every 5 minutes because this makes a very large network
|
|
|
|
# request, due to Zephyr users who subscribe to 10K+ class
|
|
|
|
# names generated by a script.
|
|
|
|
#
|
|
|
|
# This delay means we won't subscribe to new Zephyr classes
|
|
|
|
# until 5 minutes after they are created in Zulip; this isn't
|
|
|
|
# great but an acceptable tradeoff.
|
|
|
|
time.sleep(300)
|
2013-02-05 09:58:27 -05:00
|
|
|
public_streams = fetch_public_streams()
|
|
|
|
if public_streams is None:
|
|
|
|
continue
|
|
|
|
|
2016-03-10 12:18:37 -05:00
|
|
|
f = open("/home/zulip/public_streams.tmp", "w")
|
2017-09-14 05:18:39 -04:00
|
|
|
f.write(json.dumps(list(public_streams)) + "\n")
|
2013-02-05 09:58:27 -05:00
|
|
|
f.close()
|
|
|
|
|
2013-10-04 13:19:57 -04:00
|
|
|
subprocess.call(["mv", "/home/zulip/public_streams.tmp", "/home/zulip/public_streams"])
|