[jboss-as7-dev] Providing server name on command line?

Hi, Currently the only place on the command line that makes it possible to identify a managed AS is the logfile path, so I basically have to grep for it there. Is there a (better) way to obtain the name of a managed as - perhaps by querying it directly? Thanks Heiko -- Reg. Adresse: Red Hat GmbH, Technopark II, Haus C, Werner-von-Siemens-Ring 14, D-85630 Grasbrunn Handelsregister: Amtsgericht München HRB 153243 Geschaeftsführer: Brendan Lane, Charlie Peters, Michael Cunningham, Charles Cachera