diff options
| author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2016-06-12 08:39:21 +0000 |
|---|---|---|
| committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2016-06-12 08:39:21 +0000 |
| commit | a214865a5cf05d75df1ad2b3e8364e4c41c6b2ab (patch) | |
| tree | a1fa318d3d9d0298d5149f32c96d7064cf4f8607 /graphics/geoserver/files/patch-bin_shutdown.sh | |
| parent | graphics/tiffgt: Update version 4.0.4=>4.0.6 (diff) | |
graphics/geoserver: Update version 2.8.3=>2.9.0
Diffstat (limited to 'graphics/geoserver/files/patch-bin_shutdown.sh')
| -rw-r--r-- | graphics/geoserver/files/patch-bin_shutdown.sh | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/graphics/geoserver/files/patch-bin_shutdown.sh b/graphics/geoserver/files/patch-bin_shutdown.sh index 5e657377dc2d..41164a9859cf 100644 --- a/graphics/geoserver/files/patch-bin_shutdown.sh +++ b/graphics/geoserver/files/patch-bin_shutdown.sh @@ -1,27 +1,6 @@ ---- bin/shutdown.sh.orig 2015-09-30 16:13:46 UTC +--- bin/shutdown.sh.orig 2016-05-28 00:30:28 UTC +++ bin/shutdown.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. -@@ -52,4 +38,4 @@ if [ ! -r "$GEOSERVER_HOME"/start.jar ]; +@@ -60,4 +60,4 @@ if [ ! -r "$GEOSERVER_HOME"/start.jar ]; fi cd "$GEOSERVER_HOME" |