Patch to correct link to section with non ascii character in the page name:

(it's just replace '%' character with '_' in the same way as the title section)

Index: src/com/ecyrd/jspwiki/plugin/TableOfContents.java
===================================================================
RCS file: /p/cvs/JSPWiki/src/com/ecyrd/jspwiki/plugin/TableOfContents.java,v
retrieving revision 1.12
diff -u -r1.12 TableOfContents.java
--- src/com/ecyrd/jspwiki/plugin/TableOfContents.java	21 Feb 2006 19:04:23 -0000	1.12
+++ src/com/ecyrd/jspwiki/plugin/TableOfContents.java	16 Jun 2006 07:15:30 -0000
@@ -95,9 +95,10 @@
         }
 
         String titleSection = hd.m_titleSection.replace( '%', '_' );
+	String pageName = context.getEngine().encodeName(context.getPage().getName()).replace( '%', '_' );
         
         String url = context.getURL( WikiContext.VIEW, context.getPage().getName() );
-        String sectref = "#section-"+context.getEngine().encodeName(context.getPage().getName())+"-"+titleSection;
+        String sectref = "#section-"+pageName+"-"+titleSection;
 
         m_buf.append( "<a class=\"wikipage\" href=\""+url+sectref+"\">");
         if (m_usingNumberedList) 

Category Patches Laurent Courtin