build.xml
changeset 7635 8964c21d177f
parent 7592 85eb92e7e94b
child 7751 effc222a5857
equal deleted inserted replaced
7634:a25962e2937a 7635:8964c21d177f
   773   <target name="tomcat.restart" description="Restart the tomcat server process">
   773   <target name="tomcat.restart" description="Restart the tomcat server process">
   774     <echo message="Restarting tomcat..." />
   774     <echo message="Restarting tomcat..." />
   775     <java classname="org.openbravo.service.system.RestartTomcat" spawn="true" fork="true" maxmemory="${build.maxmemory}">
   775     <java classname="org.openbravo.service.system.RestartTomcat" spawn="true" fork="true" maxmemory="${build.maxmemory}">
   776       <arg line="${base.src}" />
   776       <arg line="${base.src}" />
   777       <classpath refid="project.class.path" />
   777       <classpath refid="project.class.path" />
   778       <syspropertyset>
       
   779          <propertyref name="java.security.egd" />
       
   780       </syspropertyset>
       
   781     </java>
   778     </java>
   782   </target>
   779   </target>
   783 
   780 
   784   <!--
   781   <!--
   785 		Is called by the org.openbravo.service.system.RestartTomcat class.
   782 		Is called by the org.openbravo.service.system.RestartTomcat class.