Gitblit doesn't react to change of entry baseFolder in web.xml

[niklaspolke]

Background: When I update Gitblit on my Apache Tomcat (currently 8.0.26) on my Raspberry Pi 2, I stop the old Gitblit, undeploy it and then deploy the new war. Therefore I only have to set the correct baseFolder in <tomcat>/webapps/<gitblit>/WEB-INF/web.xml.

Problem: Gitblit doesn't recognize a change of this parameter! But when I change the parameter display-name in the same file it get's updated within Tomcat, even without having to restart the application.

Question: Why does Gitblit ignore a change of the parameter baseFolder and only reacts to a restart of the whole Tomcat Server? (I don't want to stop ALL my applications just to update one parameter of one application.)