Fix web socket servlet bug