diff options
Diffstat (limited to 'build/package')
| -rw-r--r-- | build/package/WebContent/WEB-INF/web.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/build/package/WebContent/WEB-INF/web.xml b/build/package/WebContent/WEB-INF/web.xml index cce9340dbc..7154a15fe5 100644 --- a/build/package/WebContent/WEB-INF/web.xml +++ b/build/package/WebContent/WEB-INF/web.xml @@ -201,6 +201,16 @@ </init-param> </servlet> + <!-- ReindeerTheme demo --> + <servlet> + <servlet-name>ReindeerThemeStyles</servlet-name> + <servlet-class>com.vaadin.terminal.gwt.server.ApplicationServlet</servlet-class> + <init-param> + <param-name>application</param-name> + <param-value>com.vaadin.demo.themes.ReindeerThemeStyles</param-value> + </init-param> + </servlet> + <!-- Servlet Mappings below - see servlets for comments --> <servlet-mapping> <servlet-name>PortletDemo</servlet-name> @@ -262,6 +272,10 @@ <servlet-name>Coverflow</servlet-name> <url-pattern>/Coverflow/*</url-pattern> </servlet-mapping> + <servlet-mapping> + <servlet-name>ReindeerThemeStyles</servlet-name> + <url-pattern>/ReindeerTheme/*</url-pattern> + </servlet-mapping> <welcome-file-list> <welcome-file>index.jsp</welcome-file> <welcome-file>index.html</welcome-file> |