Added RunoTheme demo to package web.xml. Fixes #5337

svn changeset:14171/svn branch:6.4

diff --git a/build/package/WebContent/WEB-INF/web.xml b/build/package/WebContent/WEB-INF/web.xml
index 3e795d6199fc1961349e1a4531dfd37feb5bfdd5..e508df1d28556a91e5ad60caae934370e570a6dc 100644 (file)
--- 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>