fixed bug of WebSocket that it can not receive over 4096 byte

see #3981