From: Shuanglei Tao Date: Thu, 16 May 2019 14:41:56 +0000 (+0800) Subject: html: hide modal on ws close X-Git-Url: http://git.prime8.dev/?a=commitdiff_plain;h=3f21d866223bff428b65d3b16e2829e3de663ff1;p=ttyd.git html: hide modal on ws close --- diff --git a/html/js/app.ts b/html/js/app.ts index 4bb5b1f..0852f9e 100644 --- a/html/js/app.ts +++ b/html/js/app.ts @@ -198,6 +198,7 @@ let openWs = function() { ws.onclose = function(event: CloseEvent) { console.log('[ttyd] websocket closed, code: ' + event.code); + modal.hide(); if (term) { term.resizeDisposable.dispose(); term.dataDisposable.dispose(); diff --git a/src/index.html b/src/index.html index 31687cf..b548710 100644 --- a/src/index.html +++ b/src/index.html @@ -1 +1 @@ -ttyd - Terminal
\ No newline at end of file +ttyd - Terminal
\ No newline at end of file