You certainly don't need to restart the server every time you deploy/undeploy a
destination.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4052274#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...