I would create another *.bat file, set the -D options there, and have that 
*.bat call run.bat.

Also, if you have a lot of system properties you want to set, look into the 
system properties service (server/xxx/deploy/properties-service.xml) 

View the original post : 
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4086560#4086560

Reply to the post : 
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=4086560
_______________________________________________
jboss-user mailing list
[email protected]
https://lists.jboss.org/mailman/listinfo/jboss-user

Reply via email to