See the work described here:
http://jira.jboss.com/jira/browse/JBAS-3748
Basically, set LAUNCH_JBOSS_IN_BACKGROUND, then you can store the pid of run.sh and use
that to stop jboss...
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4115264#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...