diff --git a/src/app/static/ws_listener.js b/src/app/static/ws_listener.js index de71ca8..9e19225 100644 --- a/src/app/static/ws_listener.js +++ b/src/app/static/ws_listener.js @@ -22,7 +22,18 @@ $('form#anchor_login_event').on('submit', (function (event) { function (data) {} ); })); + +ws.onopen = function () { + ws.send(JSON.stringify({ + 'anchor': 'reset', + 'data': '' })); + // init webide + ws.send(JSON.stringify({ + 'anchor': 'anchor_webide', + 'data': '' + })); +}; ws.onmessage = function (messageEvent) { let message = JSON.parse(messageEvent.data);