From 3f21d866223bff428b65d3b16e2829e3de663ff1 Mon Sep 17 00:00:00 2001 From: Shuanglei Tao Date: Thu, 16 May 2019 22:41:56 +0800 Subject: [PATCH] html: hide modal on ws close --- html/js/app.ts | 1 + src/index.html | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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 -- 2.43.4