mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
29 lines
1.2 KiB
XML
29 lines
1.2 KiB
XML
<?xml version="1.0" encoding="UTF-8" ?>
|
|
<web-app xmlns="http://xmlns.jcp.org/xml/ns/javaee" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://xmlns.jcp.org/xml/ns/javaee
|
|
http://xmlns.jcp.org/xml/ns/javaee/web-app_4_0.xsd" version="4.0">
|
|
|
|
<!-- The default servlet for all web applications, that serves static -->
|
|
<!-- resources. It processes all requests that are not mapped to other -->
|
|
<!-- servlets with servlet mappings (defined either here or in your own -->
|
|
<!-- web.xml file). -->
|
|
<servlet>
|
|
<servlet-name>default</servlet-name>
|
|
<servlet-class>org.apache.catalina.servlets.DefaultServlet</servlet-class>
|
|
<init-param>
|
|
<param-name>debug</param-name>
|
|
<param-value>0</param-value>
|
|
</init-param>
|
|
<init-param>
|
|
<param-name>listings</param-name>
|
|
<param-value>true</param-value>
|
|
</init-param>
|
|
<load-on-startup>1</load-on-startup>
|
|
</servlet>
|
|
|
|
<!-- The mapping for the default servlet -->
|
|
<servlet-mapping>
|
|
<servlet-name>default</servlet-name>
|
|
<url-pattern>/</url-pattern>
|
|
</servlet-mapping>
|
|
|
|
</web-app> |