diff options
Diffstat (limited to 'rundir.patch')
| -rw-r--r-- | rundir.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/rundir.patch b/rundir.patch new file mode 100644 index 000000000000..1f230cad8d7a --- /dev/null +++ b/rundir.patch @@ -0,0 +1,24 @@ +--- a/jetty.sh 2014-05-26 20:37:30.000000000 +0300 ++++ b/jetty.sh 2014-06-06 23:47:41.000000000 +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 + JETTY_ARGS+=("jetty.state=$JETTY_STATE") + rm -f $JETTY_STATE |