103
103
"""A manager for a single builder."""
105
105
# The interval between each poll cycle, in seconds. We'd ideally
107
107
# responsivity and load on the database server, since in each cycle
108
108
# we can run quite a few queries.
111
116
def __init__(self, builder_name, logger):
112
117
self.builder_name = builder_name