added Debug-CLI on WebUI

2024-06-06 20:33:29 +02:00
parent 024a00e1bf
commit 0763fe2181
6 changed files with 101 additions and 62 deletions
--- a/Software/data_src/static/js/websocket.js
+++ b/Software/data_src/static/js/websocket.js
@@ -139,6 +139,10 @@ function websocket_sendevent(element_id, element_value) {
  websocket.send(element_id + ":" + element_value);
 }

+function websocket_sendDebugCommand(command) {
+  websocket.send("debug-in:" + command);
+}
+
 function do_resize(textbox) {
  var maxrows = 15;
  var minrows = 3;