Merge pull request #175 from openHPI/ie-url-polyfill

IE url polyfill
2018-06-14 13:14:54 +02:00
parent 1048f13553 a800ac7f88
commit dc9918e478
2 changed files with 485 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) {
-      // Mute errors in Microsoft Edge
+    if (window.navigator.userAgent.indexOf('Edge') > -1 || window.navigator.userAgent.indexOf('Trident') > -1) {
+      // Mute errors in Microsoft Edge and Internet Explorer
      return;
    }
    $.flash.danger({