94ba853fe8
In case of active event gathering we need to exit the event receiver loop if we lose the connection to Zookeeper. This is to avoid duplicate events. Change-Id: I23b8416fff1c0ce6d3a67059283d41fdf29d7f96 |
||
---|---|---|
.. | ||
__init__.py | ||
gitconnection.py | ||
gitmodel.py | ||
gitsource.py | ||
gittrigger.py | ||
gitwatcher.py |