--- jetty.sh	2008-10-06 09:22:04.000000000 +0100
+++ jetty.sh	2008-10-06 09:32:16.000000000 +0100
@@ -511,8 +511,15 @@
 
           if [ -f $JETTY_PID ]
           then
-            echo "Already Running!!"
-            exit 1
+            ps `cat $JETTY_PID` > /dev/null 2>&1
+            if [ $? = 0 ]
+            then
+              echo "Already Running!!"
+              exit 1
+            else
+              # dead pid file - remove
+              rm -f $JETTY_PID
+            fi
           fi
 
           if [ x$JETTY_USER != x ]