How to tell web.xml that it should not handle .htc files and so leave them to the web server?

Question

How can I do that ?

I am using Vaadin and it's servlet gets all requests, but I really need to serve a .htc file to fix IE(Dawn you Microsoft) corners and make them look better.

How to do that ?

Vaadin Servlet Mapping

>     <servlet-mapping>
>         <servlet-name>vaadinServlet</servlet-name>
>         <url-pattern>/*</url-pattern>
>     </servlet-mapping>

Servlet

>   <servlet>
>       <servlet-name>vaadinServlet</servlet-name>
>       <servlet-class>com.vaadin.terminal.gwt.server.GAEApplicationServlet</servlet-class>
    <init-param>
>           <description>
>           Application widgetset</description>
>           <param-name>widgetset</param-name>
>           <param-value>web.googlemapwidget.Widgetset</param-value>
>       </init-param>   </servlet>

Why the PHP tag, and why would web.xml handle a .htc file in the first place? — adarshr, Jul 08 '11 at 13:56
What is web.xml? I expect web.xml to be just an xml file. An xml does nothing other than hold data. — Adrian World, Jul 08 '11 at 13:57
He probably asked how to configure the servlet in web.xml. Vaadin servlet is probably mapped to all requests so you need to make an exception for it to handle .htc file using the default servlet. The choice of default servlet depends on which servlet container you are using. — gigadot, Jul 08 '11 at 14:21

score 1 · Accepted Answer · edited May 23 '17 at 11:48

<servlet-mapping>
    <servlet-name>vaadinServlet</servlet-name>
    <url-pattern>/</url-pattern>
</servlet-mapping>
<servlet-mapping>
    <servlet-name>default</servlet-name>
    <!-- servlet-name>staticServlet</servlet-name --> <!-- removed as suggested by raymi -->
    <url-pattern>/*.htc</url-pattern>
</servlet-mapping>

Notice that the url-pattern for vaadinServlet is changed from /* to /, which is the default mapping. It means if no other pattern is matched then use this servlet. Here is a quick reference I wrote about the url pattern mapping.

~~You will need to define your static servlet. This depends on your servlet container. For tomcat,~~

<!-- removed as suggested by raymi -->
<!--servlet>
    <servlet-name>staticServlet</servlet-name>
    <servlet-class>org.apache.catalina.servlets.DefaultServlet</servlet-class>
</servlet-->

~~In case you do not want your staticServlet to depends on the servlet containter, read this.~~

I think there's no need to define the static servlet for tomcat in your web.xml, since it's already defined in the default web.xml (which you can find at `/conf/web.xml`) as `default`. So you can simply map to `default`. — raymi, Jul 08 '11 at 15:08
Thank you @raymi . Does the `default` servlet name exist for all servlet containers? — gigadot, Jul 08 '11 at 15:11

How to tell web.xml that it should not handle .htc files and so leave them to the web server?

1 Answers1