/ Published in: Bash
Uses jboss in this example
Expand |
Embed | Plain Text
Copy this code and paste it in your HTML
while ps $JBOSS_PID > /dev/null do sleep 5 echo Waiting for Jboss PID $JBOSS_PID to terminate done