2018-10-31 - tools
18:02	<gtirloni>	truncated big .err and error.log files	[tools]