Ensure that there's a flush after PONG

[ColinSullivan1]

The client may be too lazy responding to server pings. When the client responds to the ping, ensure the write buffer is flushed or the flusher is kicked.