From 6462aea9238ea1cbca5899f6fba1dcae2fecfce5 Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <niko@krismer.de>
Date: Fri, 23 May 2014 21:50:45 +0200
Subject: [PATCH] using new geoserver version 2.5.1

---
 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 ce7fc756..4a42ba03 100644
--- a/etc/vagrant/bootstrap.sh
+++ b/etc/vagrant/bootstrap.sh
@@ -81,7 +81,7 @@ SHARED_IMG_DIR=/setup/img
 CMAKE_VERSION=2.8.12.1
 CMAKE_VERSION_MAIN=v2.8
 CMAKE_FILE=cmake-$CMAKE_VERSION.tar.gz
-GEOSERVER_VERSION=2.5
+GEOSERVER_VERSION=2.5.1
 GEOSERVER_FILE=geoserver-$GEOSERVER_VERSION-war.zip
 GEOSERVER_SHELL_VERSION=0.2-SNAPSHOT
 GEOSERVER_SHELL_FILE=gs-shell-$GEOSERVER_SHELL_VERSION-app.zip
-- 
GitLab