eclipse/vert.x — pull request #802 by nscavell (2014-03-11 15:02:27+00:00)
Title: Add timeout to SockJSSocket 

This seems to work. All protocol (except ha) and client tests pass still. I cannot produce the NPE on the server anymore when JS is paused and ping timed out.