014bc3b72e
Add a four hour timeout to the generation of e-r graphs as these scripts occasiaonlly run for days without exiting. We'd rather fail then try again later to ensure the graphs are mostly up to date. Change-Id: I7ee1c94c41edb9d6b5aeedebac64aeded1cf0e97 |
||
---|---|---|
.. | ||
er_safe_run.sh | ||
logging.config | ||
recheckwatchbot.yaml |