[HTTPS-Everywhere] Problem with Amazon settings: stripping port numbers

[Michel Alexandre Salim]

Hi,

The Amazon rules work fine in most cases, but sometimes Amazon.de
provides links that explicitly lists port 80, and this causes problems
as HTTPS-E does not strip the port number.

I tried modifying the rule as seen below, but it does not seem to
strip the extraneous :80 from the URL. and obviously
https://www.amazon.de:80/FOO does not work since only the normal HTTP
server is listening on that port.

Is there any way to strip the port number when rewriting URLs?

Thanks,

--- a/src/chrome/content/rules/Amazon-off-by-default.xml
+++ b/src/chrome/content/rules/Amazon-off-by-default.xml
@@ -24,7 +24,7 @@
   <rule from="^http://(www\.)?amazon\.co\.(uk|jp)/"
           to="https://www.amazon.co.$2/" />

-  <rule from="^http://(www\.)?amazon\.(ca|cn|de|fr)/"
+  <rule from="^http://(www\.)?amazon\.(ca|cn|de|fr)(:80)?/"
           to="https://www.amazon.$2/" />

   <rule from="^http://aws\.amazon\.com/"

-- 
Michel Alexandre Salim
FSFE Fellow: http://fellowship.fsfe.org/

Email:  michel.sylvain at fsfe.org | GPG key ID: 78884778
Jabber: hircus at jabber.ccc.de    | IRC: hircus at irc.freenode.net

()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments