summaryrefslogtreecommitdiffstats
path: root/build/package
diff options
context:
space:
mode:
authorJouni Koivuviita <jouni.koivuviita@itmill.com>2010-07-12 07:29:11 +0000
committerJouni Koivuviita <jouni.koivuviita@itmill.com>2010-07-12 07:29:11 +0000
commit9ae5fd9d4ca9193e64532e805cfebbd786f02cd3 (patch)
tree74959357d7bc12abc6ccf4943692c0a60033d230 /build/package
parent0394de6ffa853967a649df72dd161e057741f939 (diff)
downloadvaadin-framework-9ae5fd9d4ca9193e64532e805cfebbd786f02cd3.tar.gz
vaadin-framework-9ae5fd9d4ca9193e64532e805cfebbd786f02cd3.zip
Added RunoTheme demo to package web.xml. Fixes #5337
svn changeset:14171/svn branch:6.4
Diffstat (limited to 'build/package')
-rw-r--r--build/package/WebContent/WEB-INF/web.xml14
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>