server log, improved websocket handling