Sorry I don't know much about network configurations, I think you can ask your network
admin to add the host name to the DNS server. Or simply you can add it yourself on your
local machine, the file is /etc/hosts for linux.
View the original post :
http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4214756#...
Reply to the post :
http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...