webserver: shortlog

shortlog

Mon, 06 Mar 2017 17:19:25 +0100	Olaf Wintermann	fixes srvctrl socket shutdown srvctrl	changeset \| files
Mon, 06 Mar 2017 16:06:00 +0100	Olaf Wintermann	fixes linux build srvctrl	changeset \| files
Mon, 06 Mar 2017 15:43:28 +0100	Olaf Wintermann	using wstool in server control scripts srvctrl	changeset \| files