build.xml
changeset 7635 8964c21d177f
parent 7592 85eb92e7e94b
child 7751 effc222a5857
--- a/build.xml	Tue Jun 15 15:31:58 2010 +0200
+++ b/build.xml	Tue Jun 15 15:36:21 2010 +0200
@@ -775,9 +775,6 @@
     <java classname="org.openbravo.service.system.RestartTomcat" spawn="true" fork="true" maxmemory="${build.maxmemory}">
       <arg line="${base.src}" />
       <classpath refid="project.class.path" />
-      <syspropertyset>
-         <propertyref name="java.security.egd" />
-      </syspropertyset>
     </java>
   </target>