I have modified the shutdown sequence (point 5 above) so PM is in charge of shutting down the servers:
5. PM's shutdown hook
1. PM sends SHUTDOWN command to SM
2. PM sends SHUTDOWN command to each server process
Currently I am using the DefaultRespawnPolicy (http://github.com/jbossas/jboss-as/blob/master/process-manager/src/main/java/org/jboss/as/process/RespawnPolicy.java) both for
1) Respawning SM by PM
2) Respawning Servers by SM when it receives DOWN
This is wrong for SM since DRS gives up after 15 times, so that needs replacing with something else, how about something that respawns it after 2 seconds with an unlimited number of respawns?