Another option would be to modify run.sh so that it writes out a pidfile. For example:
server/default/log/jboss.pid
Then, John's rc script could read that file to figure out the pid of the JBoss
instance, and it would not be necessary to source run.sh.
Ian
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3976399#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...