[1] | 1 | <!DOCTYPE web-app PUBLIC
|
---|
| 2 | "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
|
---|
| 3 | "http://java.sun.com/dtd/web-app_2_3.dtd" >
|
---|
| 4 |
|
---|
| 5 | <web-app>
|
---|
| 6 | <display-name>GeniusWeb Parties server</display-name>
|
---|
| 7 |
|
---|
| 8 | <servlet>
|
---|
| 9 | <!-- List files in /ws-definitions -->
|
---|
| 10 | <servlet-name>listrepo</servlet-name>
|
---|
| 11 | <servlet-class>org.apache.catalina.servlets.DefaultServlet</servlet-class>
|
---|
| 12 | <init-param>
|
---|
| 13 | <param-name>debug</param-name>
|
---|
| 14 | <param-value>0</param-value>
|
---|
| 15 | </init-param>
|
---|
| 16 | <init-param>
|
---|
| 17 | <param-name>listings</param-name>
|
---|
| 18 | <param-value>true</param-value>
|
---|
| 19 | </init-param>
|
---|
| 20 | <load-on-startup>100</load-on-startup>
|
---|
| 21 | </servlet>
|
---|
| 22 | <servlet>
|
---|
| 23 | <servlet-name>BackgroundServlet</servlet-name>
|
---|
| 24 | <display-name>BackgroundServlet</display-name>
|
---|
| 25 | <description>On-start servlet to load background tasks</description>
|
---|
| 26 | <servlet-class>geniusweb.partiesserver.BackgroundServlet</servlet-class>
|
---|
| 27 | <load-on-startup>2</load-on-startup>
|
---|
| 28 | </servlet>
|
---|
| 29 | <servlet>
|
---|
| 30 | <servlet-name>RunParty</servlet-name>
|
---|
| 31 | <display-name>RunParty</display-name>
|
---|
| 32 | <description>run a given party</description>
|
---|
| 33 | <servlet-class>geniusweb.partiesserver.RunParty</servlet-class>
|
---|
| 34 | </servlet>
|
---|
| 35 | <servlet>
|
---|
| 36 | <servlet-name>Info</servlet-name>
|
---|
| 37 | <display-name>Info</display-name>
|
---|
| 38 | <description>available/total number of slots</description>
|
---|
| 39 | <servlet-class>geniusweb.partiesserver.Info</servlet-class>
|
---|
| 40 | </servlet>
|
---|
| 41 |
|
---|
| 42 | <servlet-mapping>
|
---|
| 43 | <servlet-name>listrepo</servlet-name>
|
---|
| 44 | <url-pattern>/partiesrepo/*</url-pattern>
|
---|
| 45 | </servlet-mapping>
|
---|
| 46 | <servlet-mapping>
|
---|
| 47 | <servlet-name>BackgroundServlet</servlet-name>
|
---|
| 48 | <url-pattern>/BackgroundServlet</url-pattern>
|
---|
| 49 | </servlet-mapping>
|
---|
| 50 | <servlet-mapping>
|
---|
| 51 | <servlet-name>RunParty</servlet-name>
|
---|
| 52 | <url-pattern>/run/*</url-pattern>
|
---|
| 53 | </servlet-mapping>
|
---|
| 54 | <servlet-mapping>
|
---|
| 55 | <servlet-name>Info</servlet-name>
|
---|
| 56 | <url-pattern>/info</url-pattern>
|
---|
| 57 | </servlet-mapping>
|
---|
| 58 |
|
---|
| 59 | </web-app>
|
---|
| 60 |
|
---|
| 61 |
|
---|