Index: run.sh
===================================================================
--- run.sh	(revision 75127)
+++ run.sh	(working copy)
@@ -227,18 +227,27 @@
       trap "kill -PIPE $JBOSS_PID" PIPE
       trap "kill -TERM $JBOSS_PID" TERM
       # Wait until the background process exits
-      WAIT_STATUS=0
-      while [ "$WAIT_STATUS" -ne 127 ]; do
-         JBOSS_STATUS=$WAIT_STATUS
+      WAIT_STATUS=128
+      while [ "$WAIT_STATUS" -ge 128 ]; do
          wait $JBOSS_PID 2>/dev/null
          WAIT_STATUS=$?
+         if [ "${WAIT_STATUS}" -gt 128 ]; then
+            SIGNAL=`expr ${WAIT_STATUS} - 128`
+            SIGNAL_NAME=`kill -l ${SIGNAL}`
+            echo "*** JBossAS process (${JBOSS_PID}) received ${SIGNAL_NAME} signal. ***" >&2
+         fi           
       done
+      if [ "${WAIT_STATUS}" -lt 127 ]; then
+         JBOSS_STATUS=$WAIT_STATUS
+      else
+         JBOSS_STATUS=0
+      fi
    fi
    # If restart doesn't work, check you are running JBossAS 4.0.4+
    #    http://jira.jboss.com/jira/browse/JBAS-2483
    # or the following if you're running Red Hat 7.0
    #    http://developer.java.sun.com/developer/bugParade/bugs/4465334.html   
-   if [ $JBOSS_STATUS -eq 10 ]; then
+   if [ "$JBOSS_STATUS" -eq 10 ]; then
       echo "Restarting JBoss..."
    else
       exit $JBOSS_STATUS