--- ./jetty-8.1.5.v20120716/jetty-distribution/src/main/resources/bin/jetty.sh~ 2012-08-27 17:04:50.351965899 +0200 +++ ./jetty-8.1.5.v20120716/jetty-distribution/src/main/resources/bin/jetty.sh 2012-08-27 17:05:01.687019587 +0200 @@ -316,10 +316,17 @@ if [ -z "$JETTY_PID" ] then JETTY_PID="$JETTY_RUN/jetty.pid" fi +##################################################### +# Try to create work directory if not exists +##################################################### +if [ ! -d work ]; then + (umask 022 && mkdir -p "$(readlink -f work)") +fi + ################################################## # Setup JAVA if unset ################################################## if [ -z "$JAVA" ] then