use single port for HTTP and WebSockets; closes #316