html: hide modal on ws close

tsl0922 · May 16, 2019 · 3f21d86 · 3f21d86
1 parent 356d13f
commit 3f21d86
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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