From f2f6c766441a14d8fb584679d288b9536234d760 Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <nikolaus.krismer@uibk.ac.at>
Date: Mon, 26 May 2014 15:54:53 +0200
Subject: [PATCH] tomcat version upgrade (to 7.0.54)

---
 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 729bca21..4797ae75 100644
--- a/etc/vagrant/bootstrap.sh
+++ b/etc/vagrant/bootstrap.sh
@@ -141,7 +141,7 @@ TABLE_PREFIX_ST=st_
 TEMPLATE_VERSION_PSIPROBE=2.3.3
 TEMPLATE_FILE_PSIPROBE=probe-$TEMPLATE_VERSION_PSIPROBE.zip
 TEMPLATE_DIR_ISOCHRONE=/vagrant
-TOMCAT_VERSION=7.0.53
+TOMCAT_VERSION=7.0.54
 TOMCAT_FILE=apache-tomcat-$TOMCAT_VERSION.tar.gz
 TOMCAT_NAME=tomcat
 TOMCAT_USER=tomcat
-- 
GitLab