Clear ping timer when sockjs closed.

Sometimes the sockjs connection may be closed by the server side(e.g. 10 seconds timeout when js is paused at a breakpoint), at this case, there is no chance to clear the ping timer.