2017-04-20 - tools
17:11	<bd808>	kill -INT 19897 on tools-proxy-02 to stop a hung nginx child process left from the last graceful restart of nginx	[tools]