#76: use port 9001, instead of 90001 (not possible)
Merge pull request #78 from jeff1evesque/websocket_protocols

#76: use port 9001, instead of 90001 (not possible)