2023-10-11 - tools.test-webservice-generic
15:47	<taavi>	stop webservice and disable tool, was running php 5.6, previously used by toolschecker but not anymore	[tools.test-webservice-generic]