Script para reiniciar el servicio de JBOSS

Script para reiniciar el servicio de JBOSS:

# Parar el jboss

service jboss stop

# Sacar el PID del proceso
PID_JBOSS=$(ps -ef | awk '/org.jboss.Main/ && !/awk/ {print $2}')

echo 'JBOSS PID : '$PID_JBOSS

echo 'Wait shutdown JBOSS...'

# Esperar a que acabe de terminar el proceso

while ps -p $PID_JBOSS > /dev/null; do sleep 1; done

# Ahora ya se puede rearrancar

echo 'JBOSS STOP'

service jboss start

echo 'JBOSS STARTING...'