Alex Vandiver f638518722 tornado: Move default production port to 9800. ... In development and test, we keep the Tornado port at 9993 and 9983, respectively; this allows tests to run while a dev instance is running. In production, moving to port 9800 consistently removes an odd edge case, when just one worker is on an entirely different port than if two workers are used.		2020-09-18 15:13:40 -07:00
..
zulip	tornado: Move default production port to 9800.	2020-09-18 15:13:40 -07:00
zulip_ops	python: Replace unnecessary intermediate lists with generators.	2020-09-02 11:15:41 -07:00