Use Firefox 4 new redirect API

salty-horse · salty-horse · commit 53ee89be26f5 · 2010-09-30T17:21:23.000+02:00
See https://bugzilla.mozilla.org/show_bug.cgi?id=546606#c101 for details
diff --git a/src/components/https-everywhere.js b/src/components/https-everywhere.js
@@ -275,6 +275,11 @@ HTTPSEverywhere.prototype = {
 //    }
   },
 
+  asyncOnChannelRedirect: function(oldChannel, newChannel, flags, callback) {
+    this.onChannelRedirect(oldChannel, newChannel, flags);
+    callback.onRedirectVerifyCallback(0);
+  },
+
   // These implement the nsIContentPolicy API; they allow both yes/no answers
   // to "should this load?", but also allow us to change the thing.
 
