Hide socket errors in Internet Explorer too

2018-06-05 11:31:08 +02:00
parent f4b21796d0
commit 7053544bcb
1 changed files with 2 additions and 2 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@ -552,8 +552,8 @@ configureEditors: function () {
  },
  showWebsocketError: function() {
-    if (window.navigator.userAgent.indexOf('Edge') > -1) {
+    if (window.navigator.userAgent.indexOf('Edge') > -1 || window.navigator.userAgent.indexOf('Trident') > -1) {
-      // Mute errors in Microsoft Edge
+      // Mute errors in Microsoft Edge and Internet Explorer
      return;
    }
    $.flash.danger({