From d47cefee78547c719f630d54e04b72ee6f84cba5 Mon Sep 17 00:00:00 2001
From: Trey Dempsey <trey.dempsey@gmail.com>
Date: Tue, 3 Dec 2019 22:46:27 +0000
Subject: [PATCH] Fixed term.destroy renamed to dispose.

---
 webssh/static/js/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webssh/static/js/main.js b/webssh/static/js/main.js
index b32a4e5..c4f2e95 100644
--- a/webssh/static/js/main.js
+++ b/webssh/static/js/main.js
@@ -529,7 +529,7 @@ jQuery(function($){
     };
 
     sock.onclose = function(e) {
-      term.destroy();
+      term.dispose();
       term = undefined;
       sock = undefined;
       reset_wssh();