on d64cdeb help sign in
all commits
55aff8bmake 127.0.0.1 the default for running the websocket server. A future release of the websocket modules should include our pull request to support hostnames. resolves #74AgentM c8ffbf4switch default websocket server port to 8000AgentM 87bb020remove extraneous debuggingAgentM 31af40cfix hardcoded websocket server port resolves #66AgentM 0bb6240update websocket server with MVar changesAgentM 0a5ee8bWIP more librarization workAgentM