diff options
Diffstat (limited to 'graphics/geoserver/files/patch-bin_startup.sh')
| -rw-r--r-- | graphics/geoserver/files/patch-bin_startup.sh | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/graphics/geoserver/files/patch-bin_startup.sh b/graphics/geoserver/files/patch-bin_startup.sh index b4ddbf17e417..8d0d01f72b86 100644 --- a/graphics/geoserver/files/patch-bin_startup.sh +++ b/graphics/geoserver/files/patch-bin_startup.sh @@ -1,27 +1,6 @@ ---- bin/startup.sh.orig 2015-09-30 16:13:46 UTC +--- bin/startup.sh.orig 2016-06-11 18:51:47 UTC +++ bin/startup.sh -@@ -5,20 +5,6 @@ - # $Id$ - # ----------------------------------------------------------------------------- - --# Make sure prerequisite environment variables are set --if [ -z "$JAVA_HOME" ]; then -- echo "The JAVA_HOME environment variable is not defined" -- echo "This environment variable is needed to run this program" -- exit 1 --fi --if [ ! -r "$JAVA_HOME"/bin/java ]; then -- echo "The JAVA_HOME environment variable is not defined correctly" -- echo "This environment variable is needed to run this program" -- exit 1 --fi --# Set standard commands for invoking Java. --_RUNJAVA="$JAVA_HOME"/bin/java -- - if [ -z $GEOSERVER_HOME ]; then - #If GEOSERVER_HOME not set then guess a few locations before giving - # up and demanding user set it. -@@ -71,4 +57,4 @@ cd "$GEOSERVER_HOME" +@@ -74,4 +74,4 @@ cd "$GEOSERVER_HOME" echo "GEOSERVER DATA DIR is $GEOSERVER_DATA_DIR" #added headless to true by default, if this messes anyone up let the list #know and we can change it back, but it seems like it won't hurt -ch |