Restart Tomcat when server.xml file is updated.