Changeset 14400

Show
Ignore:
Timestamp:
03.09.2007 13:26:03 (12 years ago)
Author:
xiao
Message:

move the class FlaxServlet? to a separate directory /flax so that it can be checked out from another repository.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/web/WEB-INF/web.xml

    r14203 r14400  
    9797      <param-value>en</param-value> 
    9898    </init-param> 
    99   </servlet> 
    100    
     99    <init-param> 
     100      <param-name>session_expiration</param-name> 
     101      <param-value>1800</param-value> 
     102    </init-param> 
     103  </servlet> 
     104 
     105  <servlet> 
     106    <servlet-name>flax</servlet-name> 
     107    <description></description> 
     108    <servlet-class>org.greenstone.gsdl3.flax.FlaxServlet</servlet-class> 
     109    <init-param> 
     110      <param-name>library_name</param-name> 
     111      <param-value>flax</param-value> 
     112    </init-param> 
     113    <init-param> 
     114      <param-name>site_name</param-name> 
     115      <param-value>flax</param-value> 
     116    </init-param> 
     117    <init-param> 
     118      <param-name>interface_name</param-name> 
     119      <param-value>flax</param-value> 
     120    </init-param> 
     121    <init-param> 
     122      <param-name>default_lang</param-name> 
     123      <param-value>en</param-value> 
     124    </init-param> 
     125    <init-param> 
     126      <param-name>session_expiration</param-name> 
     127      <param-value>1800</param-value> 
     128    </init-param> 
     129  </servlet>   
    101130  <servlet> 
    102131    <servlet-name>gateway</servlet-name> 
     
    225254    --> 
    226255     
    227 <!--There is no need for this mapping, I think --> 
     256 
    228257<servlet-mapping> 
    229258      <servlet-name>oaiserver</servlet-name> 
    230259      <url-pattern>/oaiserver</url-pattern> 
     260</servlet-mapping> 
     261 
     262<servlet-mapping> 
     263      <servlet-name>flax</servlet-name> 
     264      <url-pattern>/flax</url-pattern> 
    231265</servlet-mapping> 
    232266