2016-04-13 16:47:20 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2019-02-25 18:28:49 +01:00
|
|
|
<!DOCTYPE xml>
|
|
|
|
<web-app>
|
2018-01-10 17:33:26 +01:00
|
|
|
<servlet>
|
2019-02-25 18:28:49 +01:00
|
|
|
<servlet-name>org.gcube.vremanagement.executor.ResourceInitializer</servlet-name>
|
|
|
|
</servlet>
|
2023-09-07 16:40:10 +02:00
|
|
|
<servlet-mapping>
|
|
|
|
2 <servlet-name>default</servlet-name>
|
|
|
|
3 <url-pattern>/docs/*</url-pattern>
|
|
|
|
4 </servlet-mapping>
|
|
|
|
<servlet-mapping>
|
|
|
|
2 <servlet-name>default</servlet-name>
|
|
|
|
3 <url-pattern>/api-docs/*</url-pattern>
|
|
|
|
4 </servlet-mapping>
|
2019-02-25 18:28:49 +01:00
|
|
|
<servlet-mapping>
|
|
|
|
<servlet-name>org.gcube.vremanagement.executor.ResourceInitializer</servlet-name>
|
|
|
|
<url-pattern>/*</url-pattern>
|
|
|
|
</servlet-mapping>
|
2016-04-13 16:47:20 +02:00
|
|
|
</web-app>
|