Changeset 14400


Ignore:
Timestamp:
2007-09-03T13:26:03+12:00 (16 years ago)
Author:
xiao
Message:

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

File:
1 edited

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
Note: See TracChangeset for help on using the changeset viewer.