From 48765a27ef409818a32ec6b69812d7f422da04eb Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <nikolaus.krismer@uibk.ac.at>
Date: Tue, 5 Aug 2014 23:10:50 +0200
Subject: [PATCH] removed MaxPermSize option from java opts (has no effect for
 java 8)

---
 etc/vagrant/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/vagrant/bootstrap.sh b/etc/vagrant/bootstrap.sh
index 0a250a1a..40a62048 100644
--- a/etc/vagrant/bootstrap.sh
+++ b/etc/vagrant/bootstrap.sh
@@ -179,7 +179,7 @@ TEMPLATE_DIR_ISOCHRONE="/vagrant"
 TOMCAT_VERSION="8.0.9"
 TOMCAT_FILE="apache-tomcat-$TOMCAT_VERSION.tar.gz"
 TOMCAT_DOWNLOAD_URL="http://tweedo.com/mirror/apache/tomcat/tomcat-8/v$TOMCAT_VERSION/bin/$TOMCAT_FILE"
-TOMCAT_MEMORY_OPTS="-Xmx2048m -Xms512m -XX:MaxPermSize=512m"
+TOMCAT_MEMORY_OPTS="-Xmx2048m -Xms512m"
 TOMCAT_NAME="tomcat"
 TOMCAT_USER="tomcat"
 TOMCAT_WEBAPP_DIR="$DEPLOY_DIR/$TOMCAT_NAME/webapps"
-- 
GitLab