From 4fa5a5ff81d1d2a00a14687458c2cb1ff3d12c00 Mon Sep 17 00:00:00 2001
From: Greg Wilkins <gregw@intalio.com>
Date: Mon, 26 May 2014 16:57:41 +0200
Subject: [PATCH] fixed JETTY_PID in jetty.sh

---
 .../src/main/resources/bin/jetty.sh              | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh
index bd77828e9ca..c57a005296d 100755
--- a/jetty-distribution/src/main/resources/bin/jetty.sh
+++ b/jetty-distribution/src/main/resources/bin/jetty.sh
@@ -258,6 +258,14 @@ then
   fi
 fi
 
+#####################################################
+# Find a location for the pid file
+#####################################################
+if [ -z "$JETTY_RUN" ] 
+then
+  JETTY_RUN=$(findDirectory -w /var/run /usr/var/run $JETTY_BASE /tmp)
+fi
+
 #####################################################
 # Find a pid and state file
 #####################################################
@@ -305,14 +313,6 @@ then
   done < "$JETTY_CONF"
 fi
 
-#####################################################
-# Find a location for the pid file
-#####################################################
-if [ -z "$JETTY_RUN" ] 
-then
-  JETTY_RUN=$(findDirectory -w /var/run /usr/var/run $JETTY_BASE /tmp)
-fi
-
 ##################################################
 # Setup JAVA if unset
 ##################################################