Author: toad
Date: 2006-10-06 18:37:07 +0000 (Fri, 06 Oct 2006)
New Revision: 10645

Modified:
   trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java
   trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex
Log:
Really fix the CSS bug (@import's not including the ;).

Modified: trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java
===================================================================
--- trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java       
2006-10-06 18:24:00 UTC (rev 10644)
+++ trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.java       
2006-10-06 18:37:07 UTC (rev 10645)
@@ -1,4 +1,4 @@
-/* The following code was generated by JFlex 1.4.1 on 06/10/06 17:51 */
+/* The following code was generated by JFlex 1.4.1 on 06/10/06 19:33 */

 /* 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
@@ -14,7 +14,7 @@
 /**
  * This class is a scanner generated by 
  * <a href="http://www.jflex.de/";>JFlex</a> 1.4.1
- * on 06/10/06 17:51 from the specification file
+ * on 06/10/06 19:33 from the specification file
  * <tt>freenet/clients/http/filter/CSSTokenizerFilter.jflex</tt>
  */
 class CSSTokenizerFilter {
@@ -971,7 +971,6 @@
                                        }
                                }
                        }
-                       x++;
                        data = buffer.toString();
                        if(url && s.length() > x && s.charAt(x) == ')')
                                x++;

Modified: trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex
===================================================================
--- trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex      
2006-10-06 18:24:00 UTC (rev 10644)
+++ trunk/freenet/src/freenet/clients/http/filter/CSSTokenizerFilter.jflex      
2006-10-06 18:37:07 UTC (rev 10645)
@@ -160,7 +160,6 @@
                                        }
                                }
                        }
-                       x++;
                        data = buffer.toString();
                        if(url && s.length() > x && s.charAt(x) == ')')
                                x++;


Reply via email to