2016-10-31 16:18:08 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<!DOCTYPE xml>
|
2016-08-31 17:25:24 +02:00
|
|
|
<web-app>
|
|
|
|
|
<servlet>
|
2016-11-03 14:53:01 +01:00
|
|
|
<servlet-name>org.gcube.informationsystem.resourceregistry.ResourceInitializer</servlet-name>
|
|
|
|
|
</servlet>
|
|
|
|
|
<servlet-mapping>
|
|
|
|
|
<servlet-name>org.gcube.informationsystem.resourceregistry.ResourceInitializer</servlet-name>
|
|
|
|
|
<url-pattern>/*</url-pattern>
|
|
|
|
|
</servlet-mapping>
|
|
|
|
|
</web-app>
|
