tomcat-gui-editor von Srikrishnan

Disables tomcat manager undeploy and stop buttons to prevent accidental undeploying of web applications deployed to a tomcat server.