diff options
Diffstat (limited to 'WebContent/WEB-INF')
| -rw-r--r-- | WebContent/WEB-INF/web.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/WebContent/WEB-INF/web.xml b/WebContent/WEB-INF/web.xml index 1737dd9e58..e1a96e7413 100644 --- a/WebContent/WEB-INF/web.xml +++ b/WebContent/WEB-INF/web.xml @@ -203,6 +203,15 @@ <param-value>com.vaadin.demo.coverflow.gwt.CoverflowWidgetSet</param-value>
</init-param>
</servlet>
+
+ <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>
<servlet-name>FeaturesApplication</servlet-name>
@@ -500,6 +509,11 @@ <servlet-name>AddressBook</servlet-name>
<url-pattern>/AddressBook/*</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>
|