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