From 4d11a2ce2d4e542e5c0ce444e6230b41623a1dce Mon Sep 17 00:00:00 2001
From: Sheng <webmaster0115@gmail.com>
Date: Thu, 23 Aug 2018 20:41:06 +0800
Subject: [PATCH] Catch RangeError instead of TypeError

---
 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 c2cc746..4361958 100644
--- a/webssh/static/js/main.js
+++ b/webssh/static/js/main.js
@@ -123,7 +123,7 @@ jQuery(function($){
         decoder = new window.TextDecoder(new_encoding);
         encoding = new_encoding;
         console.log('Set encoding to ' + encoding);
-      } catch(TypeError) {
+      } catch(RangeError) {
         console.log('Unknown encoding ' + new_encoding);
       }
     }