tomcat-gui-editor por Srikrishnan

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