From b9b7e76b7c9bc0b814aa47778f2f9a5abd72003c Mon Sep 17 00:00:00 2001
From: Jesse McConnell <jesse.mcconnell@gmail.com>
Date: Tue, 29 Jan 2013 14:07:27 -0600
Subject: [PATCH] [Bug 396574] add /Users/jesse/installs/jetty as a location
 for pid to be found

---
 jetty-distribution/src/main/resources/bin/jetty.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh
index 7f6b5494639..2d8898832dc 100755
--- a/jetty-distribution/src/main/resources/bin/jetty.sh
+++ b/jetty-distribution/src/main/resources/bin/jetty.sh
@@ -307,7 +307,7 @@ fi
 #####################################################
 if [ -z "$JETTY_RUN" ] 
 then
-  JETTY_RUN=$(findDirectory -w /var/run /usr/var/run /tmp)
+  JETTY_RUN=$(findDirectory -w /var/run /usr/var/run $JETTY_HOME /tmp)
 fi
 
 #####################################################