diff --git a/source/de/anomic/htmlFilter/htmlFilterContentScraper.java b/source/de/anomic/htmlFilter/htmlFilterContentScraper.java index 05f2b3ec0..b33a16624 100644 --- a/source/de/anomic/htmlFilter/htmlFilterContentScraper.java +++ b/source/de/anomic/htmlFilter/htmlFilterContentScraper.java @@ -171,7 +171,7 @@ public class htmlFilterContentScraper extends htmlFilterAbstractScraper implemen } else if (url.getProtocol().equals("https")) { if (url.getPort() < 0 || url.getPort() == 443) { defaultPort = true; } } - String path = url.getFile().toLowerCase(); + String path = url.getFile(); // (this is different from previous normal forms where a '/' must not appear in root paths; here it must appear. Makes everything easier.) if (path.length() == 0 || path.charAt(0) != '/') { path = "/" + path; }