Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJesse McConnell2013-01-29 15:07:27 -0500
committerJesse McConnell2013-01-29 15:07:27 -0500
commitb9b7e76b7c9bc0b814aa47778f2f9a5abd72003c (patch)
tree7a805c8208d5d9e3b5033189d1d78bcb5bc565f0
parent35ebe6cea3cd6cc6597fd3fc457cfed85f062f12 (diff)
downloadorg.eclipse.jetty.project-b9b7e76b7c9bc0b814aa47778f2f9a5abd72003c.tar.gz
org.eclipse.jetty.project-b9b7e76b7c9bc0b814aa47778f2f9a5abd72003c.tar.xz
org.eclipse.jetty.project-b9b7e76b7c9bc0b814aa47778f2f9a5abd72003c.zip
[Bug 396574] add /Users/jesse/installs/jetty as a location for pid to be found
-rwxr-xr-xjetty-distribution/src/main/resources/bin/jetty.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/jetty-distribution/src/main/resources/bin/jetty.sh b/jetty-distribution/src/main/resources/bin/jetty.sh
index 7f6b549463..2d8898832d 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
#####################################################

Back to the top