mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-04 21:09:13 +00:00
Merge branch 'jetty-7' into jetty-8
This commit is contained in:
commit
01f7bc1e12
@ -307,7 +307,7 @@ fi
|
|||||||
#####################################################
|
#####################################################
|
||||||
if [ -z "$JETTY_RUN" ]
|
if [ -z "$JETTY_RUN" ]
|
||||||
then
|
then
|
||||||
JETTY_RUN=$(findDirectory -w /var/run /usr/var/run /tmp)
|
JETTY_RUN=$(findDirectory -w /var/run /usr/var/run $JETTY_HOME /tmp)
|
||||||
fi
|
fi
|
||||||
|
|
||||||
#####################################################
|
#####################################################
|
||||||
|
Loading…
x
Reference in New Issue
Block a user