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

Reply via email to