[jboss-user] [Beginners Corner] - Re: How to use shutdown script with servername