A continuación voy a incluir un script que he escrito, siguiendo las recomendaciones leídas en algún sitio (lamento no poder dar las fuentes, pero no las recuerdo), para iniciar y para el servidor de aplicaciones JBoss.

En este caso la versión para la que aplica es la 7.1.1.


#!/bin/sh

export FILE_LOG=/path_to_logs/startup.log
export JBOSS_PIDFILE=/path_to_logs/pidfile.txt
echo JBOSS_PIDFILE=${JBOSS_PIDFILE} | cat >> ${FILE_LOG}

case "$1" in
start)

echo Hora y fecha inicio del arranque $(date +"%y/%m/%d %H:%M:%S" | sed 's/^[0]*//') | cat >> ${FILE_LOG}
export LAUNCH_JBOSS_IN_BACKGROUND=1

./standalone.sh &
echo $! >$JBOSS_PIDFILE
echo Hora y fecha de arranque $(date +"%y/%m/%d %H:%M:%S" | sed 's/^[0]*//') | cat >> ${FILE_LOG}
;;

stop)

# This will kill the startup.sh process AND the JBoss AS java process.
echo Hora y fecha de inicio de parada $(date +"%y/%m/%d %H:%M:%S" | sed 's/^[0]*//') | cat >> ${FILE_LOG}
kill `cat $JBOSS_PIDFILE`
echo Hora y fecha de fin de parada $(date +"%y/%m/%d %H:%M:%S" | sed 's/^[0]*//') | cat >> ${FILE_LOG}
;;
esac


Este script tiene algunas limitaciones, como el hecho de no poder parar el servidor si éste no se ha iniciado con el script. Además guarda información sobre los arranques y paradas del servidor para su posterior consulta en el fichero startup.log

Para usarlo, con el usuario que tenga permisos de ejecución del servidor:

./startup start
./startup stop