server-log, improving websocket handling