Optionally split out the pushers into a separate process

This commit is contained in:
Mark Haines 2016-04-21 17:21:02 +01:00
parent 78741cf025
commit a3ac837599
5 changed files with 217 additions and 1 deletions

View file

@ -28,6 +28,7 @@ class ServerConfig(Config):
self.print_pidfile = config.get("print_pidfile")
self.user_agent_suffix = config.get("user_agent_suffix")
self.use_frozen_dicts = config.get("use_frozen_dicts", True)
self.start_pushers = config.get("start_pushers", True)
self.listeners = config.get("listeners", [])