Author: j16sdiz Date: 2009-01-04 07:27:15 +0000 (Sun, 04 Jan 2009) New Revision: 24905
Modified: trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex Log: ignore case on "url()" in css Modified: trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java =================================================================== --- trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java 2009-01-03 15:53:34 UTC (rev 24904) +++ trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java 2009-01-04 07:27:15 UTC (rev 24905) @@ -1,4 +1,4 @@ -/* The following code was generated by JFlex 1.4.1 on 9/12/08 9:31 PM */ +/* The following code was generated by JFlex 1.4.1 on 1/4/09 3:25 PM */ /* This code is part of Freenet. It is distributed under the GNU General * Public License, version 2 (or at your option any later version). See @@ -18,8 +18,8 @@ /** * This class is a scanner generated by * <a href="http://www.jflex.de/";>JFlex</a> 1.4.1 - * on 9/12/08 9:31 PM from the specification file - * <tt>./src/freenet/clients/http/filter/CSSTokenizerFilter.jflex</tt> + * on 1/4/09 3:25 PM from the specification file + * <tt>src/freenet/clients/http/filter/CSSTokenizerFilter.jflex</tt> */ class CSSTokenizerFilter { @@ -975,8 +975,8 @@ String data; public String suffix; // includes any whitespace public DecodedStringThingy(String s) { - if(s.startsWith("url(")) { - s = s.substring("url(".length()); + if(s.toLowerCase(Locale.US).startsWith("url(")) { + s = s.substring(4/* "url(".length() */); url = true; } char q = s.charAt(0); Modified: trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex =================================================================== --- trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex 2009-01-03 15:53:34 UTC (rev 24904) +++ trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex 2009-01-04 07:27:15 UTC (rev 24905) @@ -88,8 +88,8 @@ String data; public String suffix; // includes any whitespace public DecodedStringThingy(String s) { - if(s.startsWith("url(")) { - s = s.substring("url(".length()); + if(s.toLowerCase(Locale.US).startsWith("url(")) { + s = s.substring(4/* "url(".length() */); url = true; } char q = s.charAt(0); _______________________________________________ cvs mailing list [email protected] http://emu.freenetproject.org/cgi-bin/mailman/listinfo/cvs
