From ae43e3beb8b066e030086266cb4ee0ea753e99e9 Mon Sep 17 00:00:00 2001 From: Simon Brandhof Date: Tue, 17 May 2016 10:27:32 +0200 Subject: [PATCH] Remove useless JRuby property from web.xml As default value of "public.root" is "/", the property can be removed from web.xml. --- server/sonar-web/src/main/webapp/WEB-INF/web.xml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/server/sonar-web/src/main/webapp/WEB-INF/web.xml b/server/sonar-web/src/main/webapp/WEB-INF/web.xml index 4bcacb4effd..504ee37e03c 100644 --- a/server/sonar-web/src/main/webapp/WEB-INF/web.xml +++ b/server/sonar-web/src/main/webapp/WEB-INF/web.xml @@ -14,10 +14,6 @@ - system properties for dev mode (see sonar-server pom) - embedded tomcat for production mode (see sonar-application) --> - - public.root - / - jruby.min.runtimes 1 -- 2.39.5