ajaxorg/cloud9 — pull request #647 by gero3 (2011-12-13 10:14:18+00:00)
Title: Adds port 843 as socket IO alternative

This hasn't been tested