[jboss-user] [Beginners Corner] - Re: best way to manage a lot of start options?

[PeterJ]

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