From d74c097471157a82f1d1163b795f43acef40023a Mon Sep 17 00:00:00 2001 From: Sheng Date: Thu, 14 Feb 2019 13:00:43 +0800 Subject: [PATCH] Updated main.js --- webssh/static/js/main.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/webssh/static/js/main.js b/webssh/static/js/main.js index 6482736..1de5c19 100644 --- a/webssh/static/js/main.js +++ b/webssh/static/js/main.js @@ -202,7 +202,7 @@ jQuery(function($){ sock = new window.WebSocket(url), encoding = 'utf-8', decoder = window.TextDecoder ? new window.TextDecoder(encoding) : encoding, - terminal = document.getElementById('#terminal'), + terminal = document.getElementById('terminal'), term = new window.Terminal({ cursorBlink: true, }); @@ -329,7 +329,7 @@ jQuery(function($){ }); sock.onopen = function() { - $('.container').hide(); + // $('.container').hide(); term.open(terminal, true); term.toggleFullscreen(true); state = CONNECTED; @@ -350,7 +350,7 @@ jQuery(function($){ term = undefined; sock = undefined; reset_wssh(); - $('.container').show(); + // $('.container').show(); status.text(e.reason); state = DISCONNECTED; title_text = 'WebSSH';