diff options
Diffstat (limited to 'WebContent/WEB-INF/web.xml')
-rw-r--r-- | WebContent/WEB-INF/web.xml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/WebContent/WEB-INF/web.xml b/WebContent/WEB-INF/web.xml index 61ec738724..a2c51c3646 100644 --- a/WebContent/WEB-INF/web.xml +++ b/WebContent/WEB-INF/web.xml @@ -19,18 +19,6 @@ <param-value>false</param-value>
<description>Vaadin production mode</description>
</context-param>
- <!-- Permit use of IT Mill Testing Tools for this servlet continer --> - <context-param> - <param-name>testingToolsActive</param-name> - <param-value>true</param-value> - <description>IT Mill Testing Tools activation</description> - </context-param> - - <context-param> - <param-name>testingToolsServerUri</param-name> - <param-value>http://192.168.1.242:8099/TestingToolsServer</param-value> - <description>IT Mill Testing Tools URI</description> - </context-param> <servlet>
<servlet-name>VaadinApplicationRunner</servlet-name>
|