-
Bobby Graese authored
Note that this breaks the old REST API, since we now dynamically connected and disconnect per-websocket. Tweaks the frontend to provide a connection interface when you load the page. Note that you must connect EVERY time at the moment, but I'd like to add some sort of "remember" checkbox.
97bc6b15