diff --git a/bricks/wterm.js b/bricks/wterm.js index 3bc6489..9061a3b 100644 --- a/bricks/wterm.js +++ b/bricks/wterm.js @@ -10,6 +10,7 @@ bricks.Wterm = class extends bricks.JsWidget { */ constructor(opts){ super(opts); + this.socket = null; schedule_once(this.open.bind(this), 0.5); } charsize_sizing(){ @@ -22,6 +23,8 @@ bricks.Wterm = class extends bricks.JsWidget { this.term = term; term.open(this.dom_element); var ws = new WebSocket(this.opts.ws_url); + this.socket = ws; + this.fitAddon = new FitAddon.FitAddon() term.loadAddon(this.fitAddon) this.fitAddon.fit(); @@ -30,6 +33,9 @@ bricks.Wterm = class extends bricks.JsWidget { ws.onmessage = msg => { term.write(JSON.parse(msg.data).data); }; + ws.onclose = (event) => { + console.log('websocket closed:', event.code, '--', event.reason); + } ws.onopen = function(){ term.paste('ls -l\n') };