diff options
| -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 3e795d6199..e508df1d28 100644 --- a/build/package/WebContent/WEB-INF/web.xml +++ b/build/package/WebContent/WEB-INF/web.xml @@ -146,6 +146,16 @@ <param-value>com.vaadin.demo.themes.ReindeerThemeStyles</param-value> </init-param> </servlet> + + <!-- RunoTheme demo --> + <servlet> + <servlet-name>RunoTheme</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.RunoTheme</param-value> + </init-param> + </servlet> <!-- Servlet Mappings below - see servlets for comments --> <servlet-mapping> @@ -188,6 +198,10 @@ <servlet-name>ReindeerThemeStyles</servlet-name> <url-pattern>/ReindeerTheme/*</url-pattern> </servlet-mapping> + <servlet-mapping> + <servlet-name>RunoTheme</servlet-name> + <url-pattern>/RunoTheme/*</url-pattern> + </servlet-mapping> <welcome-file-list> <welcome-file>index.jsp</welcome-file> <welcome-file>index.html</welcome-file> |