diff --git a/etc/vagrant/bootstrap.sh b/etc/vagrant/bootstrap.sh index 614d565661664097f78ef13ebd4c10633d7f26a4..5cde77f18fbdece138cf4b051317acceb4c45196 100644 --- a/etc/vagrant/bootstrap.sh +++ b/etc/vagrant/bootstrap.sh @@ -86,7 +86,7 @@ GEOSERVER_FILE=geoserver-$GEOSERVER_VERSION-war.zip GEOSERVER_SHELL_VERSION=0.2-SNAPSHOT GEOSERVER_SHELL_FILE=gs-shell-$GEOSERVER_SHELL_VERSION-app.zip JAVA_VERSION=7u55 -#JAVA_VERSION=8 +#JAVA_VERSION=8u5 JAVA_FILE_32=jdk-$JAVA_VERSION-linux-i586.rpm JAVA_FILE_64=jdk-$JAVA_VERSION-linux-x64.rpm MAVEN_VERSION=3.2.1 @@ -312,6 +312,7 @@ if $INSTALL_POSTGRES; then echo " - postgresql 9.3"; fi if $INSTALL_POSTGIS; then echo " - postgis 2"; fi if $INSTALL_PGROUTING; then echo " - pgRouting $PGROUTING_VERSION"; fi if $INSTALL_TOMCAT; then echo " - tomcat $TOMCAT_VERSION"; fi +if $INSTALL_GEOSERVER; then echo " - geoserver $GEOSERVER_VERSION"; fi if $INSTALL_POSTGRES_ADMIN; then echo " - phpPgAdmin"; fi if $IMPORT_OSMDATA; then echo " - osmosis $OSMOSIS_VERSION"; fi if $IMPORT_OSMDATA_CACHED; then echo "Importing cached data from OSM (if possible)"; elif $IMPORT_OSMDATA; then echo "Importing data from OSM"; fi