eclipse/vert.x — pull request #766 by larrytin (2013-12-29 06:36:13+00:00)
Title: 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.