Look for the automatic deployment interval in general preferences or the local preferences
of the server.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4116041#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...