diff options
Diffstat (limited to 'rundir.patch')
| -rw-r--r-- | rundir.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/rundir.patch b/rundir.patch deleted file mode 100644 index 71d5b9f2f654..000000000000 --- a/rundir.patch +++ /dev/null @@ -1,24 +0,0 @@ ---- a/bin/jetty.sh 2016-07-22 05:00:44.000000000 +0300 -+++ b/bin/jetty.sh 2016-08-05 14:22:39.241222381 +0300 -@@ -261,10 +261,8 @@ - ##################################################### - # 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 -+mkdir -p $JETTY_RUN -+chown -R $JETTY_USER:$JETTY_USER $JETTY_RUN - - ##################################################### - # Find a pid and state file -@@ -276,7 +274,7 @@ - - if [ -z "$JETTY_STATE" ] - then -- JETTY_STATE=$JETTY_BASE/${NAME}.state -+ JETTY_STATE=$JETTY_RUN/${NAME}.state - fi - - case "`uname`" in |