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

fixed JETTY_PID in jetty.sh

This commit is contained in:
Greg Wilkins 2014-05-26 16:57:41 +02:00
parent bbd3774e38
commit 4fa5a5ff81
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -258,6 +258,14 @@ then
fi fi
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 # Find a pid and state file
##################################################### #####################################################
@ -305,14 +313,6 @@ then
done < "$JETTY_CONF" done < "$JETTY_CONF"
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
################################################## ##################################################
# Setup JAVA if unset # Setup JAVA if unset
################################################## ##################################################