[MOBY-guts] biomoby commit

[senger@ebi.ac.uk]

senger
Sat Nov  8 20:05:02 EST 2003
Update of /home/repository/moby/moby-live/Java
In directory pub.open-bio.org:/tmp/cvs-serv21510

Modified Files:
	build.properties.template build.xml 
Log Message:


moby-live/Java build.properties.template,1.1,1.2 build.xml,1.5,1.6
===================================================================
RCS file: /home/repository/moby/moby-live/Java/build.properties.template,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- /home/repository/moby/moby-live/Java/build.properties.template	2003/11/08 00:27:23	1.1
+++ /home/repository/moby/moby-live/Java/build.properties.template	2003/11/09 01:05:02	1.2
@@ -7,6 +7,11 @@
 
 build.compiler = jikes
 
+#dot.path = /path/to/dot
+#proxySet = true
+#http.proxyHost = your proxy host
+#http.proxyPort = your proxy port
+
 # all other properties are used only if you wish to deploy jMoby
 # servlets into your Tomcat - the more verbose description of these
 # properties is in the deployment descriptor in

===================================================================
RCS file: /home/repository/moby/moby-live/Java/build.xml,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- /home/repository/moby/moby-live/Java/build.xml	2003/11/08 21:05:51	1.5
+++ /home/repository/moby/moby-live/Java/build.xml	2003/11/09 01:05:02	1.6
@@ -196,6 +196,18 @@
       <condition property="default.namespace" value="">
          <not><isset property="default.namespace"/></not>
       </condition>
+      <condition property="http.proxyHost" value="">
+         <not><isset property="http.proxyHost"/></not>
+      </condition>
+      <condition property="http.proxyPort" value="">
+         <not><isset property="http.proxyPort"/></not>
+      </condition>
+      <condition property="proxySet" value="">
+         <not><isset property="proxySet"/></not>
+      </condition>
+      <condition property="dot.path" value="">
+         <not><isset property="dot.path"/></not>
+      </condition>
 
    </target>
 
@@ -380,6 +392,10 @@
             <filter token="CACHE_URL"         value="${cache.url}"/>
             <filter token="DEFAULT_ENDPOINT"  value="${default.endpoint}"/>
             <filter token="DEFAULT_NAMESPACE" value="${default.namespace}"/>
+            <filter token="PROXY_SET"         value="${proxySet}"/>
+            <filter token="PROXY_HOST"        value="${http.proxyHost}"/>
+            <filter token="PROXY_PORT"        value="${http.proxyPort}"/>
+            <filter token="DOT_PATH"          value="${dot.path}"/>
          </filterset>
       </copy>
       <war destfile="${deploy.war.file}"