silly jenkins start-stop scripts

runjenkins.sh

#!/bin/sh

cd %JENKINS_DIR%

nohup java -jar jenkins.war --httpListenAddress=127.0.0.1 --httpPort=12121 > jenkins.log 2>&1 & echo $! > jenkins.pid

stopjenkins.sh

#!/bin/sh

cd %JENKINS_DIR%

if [ -e jenkins.pid ]; then
  PID="`cat jenkins.pid`"
  kill $PID
  while true; do
    echo -n .
    sleep 1
    if [ ! -d /proc/$PID ]; then
      echo
      break
    fi
  done
  rm jenkins.pid
  echo "jenkins killed"
else
  echo "nothing to kill"
fi