2020-02-26 - tools
20:27	<jeh>	rebooting tools-worker-[1008,1015,1021]	[tools]