Sorry, no such API. What server a naming request goes to is determined as part of making
the request; it isn't known in advance. And there's no API to expose what it was
after the fact.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4151191#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...