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

Thursday, 20 September 2007

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#...

Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...