From d9c42447d68db623e61894f29b5afc66ce7bee8e Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <nikolaus.krismer@uibk.ac.at>
Date: Mon, 4 Aug 2014 12:45:01 +0200
Subject: [PATCH] removing unnecessary tomcat webapps before starting the
 server now

---
 etc/vagrant/bootstrap.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/etc/vagrant/bootstrap.sh b/etc/vagrant/bootstrap.sh
index 1a512550..68b99535 100644
--- a/etc/vagrant/bootstrap.sh
+++ b/etc/vagrant/bootstrap.sh
@@ -690,6 +690,11 @@ if $INSTALL_TOMCAT; then
 	echo "Configuring tomcat startup script"
 	cp $SHARED_CONF_DIR/tomcat_startscript.sh /etc/init.d/$TOMCAT_NAME >> install_tomcat.log 2>&1
 	chmod 755 /etc/init.d/$TOMCAT_NAME >> install_tomcat.log 2>&1
+
+	echo "Configuring tomcat webapps (removing unnecessary ones)"
+	rm -rf "$TOMCAT_WEBAPP_DIR/docs"
+	rm -rf "$TOMCAT_WEBAPP_DIR/examples"
+	rm -rf "$TOMCAT_WEBAPP_DIR/host-manager"
 fi
 
 if $INSTALL_POSTGIS && $INSTALL_GEOSERVER; then
-- 
GitLab