--- ./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" ]