you set that in the launch configuration of the server. you set them by entering them into the command line arguments field.
View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3989177#3989177 Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=3989177 _______________________________________________ jboss-user mailing list jboss-user@lists.jboss.org https://lists.jboss.org/mailman/listinfo/jboss-user