<?xml version="1.0" encoding="UTF-8"?>
<web-app version="6.0" xmlns="https://jakarta.ee/xml/ns/jakartaee" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="https://jakarta.ee/xml/ns/jakartaee https://jakarta.ee/xml/ns/jakartaee/web-app_6_0.xsd">
    <filter>
        <filter-name>FiltroBot2</filter-name>
        <filter-class>js.controller.FiltroBot2</filter-class>
    </filter>
    <filter-mapping>
        <filter-name>FiltroBot2</filter-name>
        <url-pattern>/*</url-pattern>
    </filter-mapping>
    <servlet>
        <servlet-name>GestorePreventivi</servlet-name>
        <servlet-class>js.controller.GestorePreventiviAction</servlet-class>
    </servlet>
    <servlet-mapping>
        <servlet-name>GestorePreventivi</servlet-name>
        <url-pattern>/GestorePreventivi.do</url-pattern>
    </servlet-mapping>
    <session-config>
        <session-timeout>
            30
        </session-timeout>
    </session-config>
    <welcome-file-list>
        <welcome-file>index.jsp</welcome-file>
    </welcome-file-list>
</web-app>
