Scott Lamb 438de38202
rework WebSocket error return protocol
This gives much better information to the UI layer, getting rid of a
whole troubleshooting guide entry. See #119 #132 #218 #219

I also restructured the code in anticipation of a new WebSocket event
stream (#40).
2023-02-15 17:26:40 -08:00
..
2023-02-13 22:55:22 -08:00
2023-02-15 08:32:48 -08:00
2023-02-15 08:32:48 -08:00