server: suppress messages about orderly websocket disconnects