add offline websocket support

root

2023-04-28 ed25726d2992f8a395a8d4ed9bd5e85d231c471e

1
2
3
4
5
6
7
8
+    plus
-    minus
/    divided
÷    divided
:    divided
×    times
*    times
·    times