Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[Bug 396574] add /Users/jesse/installs/jetty as a location for pid to be found

This commit is contained in:
Jesse McConnell 2013-01-29 14:07:27 -06:00
parent 35ebe6cea3
commit b9b7e76b7c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jetty-distribution/src/main/resources/bin/jetty.sh
View File

@ -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
#####################################################