init.d script for BaseX server

basexhttp.sh

#!/bin/sh

### BEGIN INIT INFO
# Provides:          basexhttp
# Required-Start:    
# Required-Stop:     
# Default-Start:     2 3 4 5
# Default-Stop:      0 1 6
# Short-Description: basex initscript
# Description:       basex
### END INIT INFO

# Author: Andy Bunce
#BASEX_HOME=/opt/basex/bin
BASEX_HOME=/home/basex/basex/bin

# Carry out specific functions when asked to by the system
case "$1" in
  start)
    echo "Starting BaseX server and HTTP"
    $BASEX_HOME/basexhttp -S 
    ;;
  stop)
    echo "Stopping BaseX server"
    $BASEX_HOME/basexhttp stop 
    ;;
  *)
    echo "Usage: /etc/init.d/basexhttp {start|stop}"
    exit 1
    ;;
esac

pid file created but empty

The right way?
http://www.ralfebert.de/blog/java/debian_daemon/