ajaxorg/cloud9 — pull request #1918 by fjakobs (2012-07-11 00:32:26+00:00)
Title: Websocket fixes

@sergi