You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by ma...@apache.org on 2004/03/06 11:56:49 UTC

cvs commit: jakarta-tomcat-4.0/webapps/tomcat-docs/config valve.xml

markt       2004/03/06 02:56:49

  Modified:    webapps/tomcat-docs/config valve.xml
  Log:
  Fix bug 16507. Update valve docs to provide pointer to the Jakarta Regexp docs.
   - Reported by Paul Ramirez
  
  Revision  Changes    Path
  1.10      +12 -0     jakarta-tomcat-4.0/webapps/tomcat-docs/config/valve.xml
  
  Index: valve.xml
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-4.0/webapps/tomcat-docs/config/valve.xml,v
  retrieving revision 1.9
  retrieving revision 1.10
  diff -u -r1.9 -r1.10
  --- valve.xml	24 Dec 2003 20:40:50 -0000	1.9
  +++ valve.xml	6 Mar 2004 10:56:49 -0000	1.10
  @@ -154,6 +154,12 @@
       <a href="context.html">Context</a>), and must accept any request
       presented to this container for processing before it will be passed on.</p>
   
  +    <p>The syntax for <em>regular expressions</em> is different than that for
  +    'standard' wildcard matching. Tomcat uses the
  +    <a href="http://jakarta.apache.org/regexp/">Jakarta Regexp</a> library.
  +    Please consult the Regexp documentation for details of the expressions
  +    supported.</p>
  +
     </subsection>
   
     <subsection name="Attributes">
  @@ -204,6 +210,12 @@
       (<a href="engine.html">Engine</a>, <a href="host.html">Host</a>, or
       <a href="context.html">Context</a>), and must accept any request
       presented to this container for processing before it will be passed on.</p>
  +
  +    <p>The syntax for <em>regular expressions</em> is different than that for
  +    'standard' wildcard matching. Tomcat uses the
  +    <a href="http://jakarta.apache.org/regexp/">Jakarta Regexp</a> library.
  +    Please consult the Regexp documentation for details of the expressions
  +    supported.</p>
   
     </subsection>
   
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org