3 commits

Author	SHA1	Message	Date
Brad Ison	31c6628e74	Don't dump core when killing buildmanager	2016-11-17 14:31:11 -08:00
Brad Ison	ebf80bdd13	Dump core when killing buildmanager from monit	2016-11-17 10:20:03 -08:00
Joseph Schorr	72fdf93d29	Add monit-based monitoring of build manager ... Should catch when the build manager freezes and restart it	2016-11-02 14:14:07 -04:00