Do not modify the channel.URI, ever, just in case

pde · pde · commit 72cfae306637 · 2013-11-21T14:53:04.000-08:00
diff --git a/src/chrome/content/code/HTTPS.js b/src/chrome/content/code/HTTPS.js
@@ -31,7 +31,7 @@ const HTTPS = {
   httpsRewrite: null,
   
   replaceChannel: function(applicable_list, channel) {
-    var blob = HTTPSRules.rewrittenURI(applicable_list, channel.URI);
+    var blob = HTTPSRules.rewrittenURI(applicable_list, channel.URI.clone());
     if (null == blob) return false; // no rewrite
     var uri = blob.newuri;
     if (!uri) this.log(WARN, "OH NO BAD ARGH\nARGH");
