Merge pull request #78 from jeff1evesque/websocket_protocols

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