<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE web-app 
    PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" 
    "http://java.sun.com/dtd/web-app_2_3.dtd">

<!-- this is based on a sample web.xml file provided by 
http://jakarta.apache.org/tomcat/tomcat-4.0-doc/appdev/web.xml.txt
-->
<web-app>

  
  <!-- General description of your web application -->
  
  <display-name>VISHNU</display-name>
  <description>
    Collection server for Imperial College's new Vishnu Visualisation tool.
  </description>
  
  <context-param>
    <param-name>webmaster</param-name>
    <param-value>enter your email address here</param-value>
    <description>
      The EMAIL address of the administrator to whom questions
      and comments about this application should be addressed.
    </description>
  </context-param>
  

  <!-- Servlet definitions for the servlets that make up
  your web application, including initialization
  parameters.  
  -->
  <servlet>
    <servlet-name>visualiser</servlet-name>
    <description>imperial college vishnu servlet</description>
    <servlet-class>vishnu.server.VisServlet</servlet-class>
    <init-param>
      <param-name>collectionsHome</param-name>
      <!-- edit this to provide the full path to the collections directory-->
      <!-- make sure the path separators are correct for your platform -->
      <param-value>path-to-vishnu/collections</param-value>
    </init-param>
  </servlet>

  <!-- Define mappings that are used by the servlet container to
  translate a particular request URI (context-relative) to a
  particular servlet.  The examples below correspond to the
  servlet descriptions above.  -->
  <servlet-mapping>
    <servlet-name>visualiser</servlet-name>
    <url-pattern>/server</url-pattern>
  </servlet-mapping>
  <!-- Define the default session timeout for your application,
  in minutes.  From a servlet or JSP page, you can modify
  the timeout for a particular session dynamically by using
  HttpSession.getMaxInactiveInterval(). -->
  
  <session-config>
    <session-timeout>30</session-timeout>    <!-- 30 minutes -->
  </session-config>
  
  
</web-app>


