https://www.javacodegeeks.com/2013/01/super-quick-tomcat-app-deployment-using-a-pull-script.html