web.xml revision 55cf33bed98b1ae48e842ed61648c2d0b623168c
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" "http://java.sun.com/dtd/web-app_2_3.dtd">
<web-app>
<display-name>OpenGrok</display-name>
<description>A wicked fast source browser</description>
<context-param>
<param-name>CONFIGURATION</param-name>
<description>Full path to the configuration file where OpenGrok can read it's configuration</description>
</context-param>
<context-param>
<param-name>ConfigAddress</param-name>
<param-value>localhost:8080</param-value>
<description>An address where OpenGrok can receive new configuration</description>
</context-param>
<listener>
</listener>
<servlet>
<servlet-name>search</servlet-name>
<display-name>Source Finder</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>json</servlet-name>
</servlet>
<servlet>
<servlet-name>history</servlet-name>
<display-name>Source History</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>lister</servlet-name>
<display-name>Source lister</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>diff</servlet-name>
<display-name>Source diffs between revisions</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>more</servlet-name>
<display-name>Shows more matching lines</display-name>
</servlet>
<servlet>
<servlet-name>rss</servlet-name>
<display-name>Source Changes in RSS format</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>opensearch</servlet-name>
<display-name>OpenSearch link for current project</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>raw</servlet-name>
<display-name>Raw Source lister</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>download</servlet-name>
<display-name>Download source</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>error</servlet-name>
<display-name>Error Handler</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet>
<servlet-name>enoent</servlet-name>
<display-name>File not found handler</display-name>
<init-param>
<param-name>keepgenerated</param-name><param-value>true</param-value>
</init-param>
</servlet>
<servlet-mapping>
<servlet-name>search</servlet-name>
<url-pattern>/search</url-pattern> <!-- SEARCH_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>json</servlet-name>
<url-pattern>/json</url-pattern>
</servlet-mapping>
<servlet-mapping>
<servlet-name>opensearch</servlet-name>
<url-pattern>/opensearch</url-pattern> <!-- SEARCH_O -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>history</servlet-name>
<url-pattern>/history/*</url-pattern> <!-- HIST_L -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>lister</servlet-name>
<url-pattern>/xref/*</url-pattern> <!-- XREF_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>raw</servlet-name>
<url-pattern>/raw/*</url-pattern> <!-- RAW_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>download</servlet-name>
<url-pattern>/download/*</url-pattern> <!-- DOWNLOAD_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>search</servlet-name>
<url-pattern>/s</url-pattern> <!-- SEARCH_R -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>diff</servlet-name>
<url-pattern>/diff/*</url-pattern> <!-- DIFF_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>more</servlet-name>
<url-pattern>/more/*</url-pattern> <!-- MORE_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>rss</servlet-name>
<url-pattern>/rss/*</url-pattern> <!-- RSS_P -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>error</servlet-name>
<url-pattern>/error</url-pattern> <!-- ERROR -->
</servlet-mapping>
<servlet-mapping>
<servlet-name>enoent</servlet-name>
<url-pattern>/enoent</url-pattern> <!-- NOT_FOUND -->
</servlet-mapping>
<error-page>
<error-code>404</error-code>
<location>/enoent</location>
</error-page>
<error-page>
<error-code>500</error-code>
<location>/error</location>
</error-page>
</web-app>