diff --git a/etc/vagrant/bootstrap.sh b/etc/vagrant/bootstrap.sh index 1a51255030f00be2c885d2125caffdd5eabfa11f..68b99535752f0b5df4f0bb01a11ac5281e9e3694 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