deactivate proxy

akuechl · Dec 17, 2020 · 574445a · 574445a
1 parent b75aa60
commit 574445a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -18,13 +18,15 @@
 	<available file="${dwn-folder}/leaflet-${leaflet-version}.jar" property="exists.leaflet" />
 	<available file="${dwn-folder}/leaflet-license-${leaflet-version}" property="exists.leaflet-license" />
 
+	<!--
 	<property name="proxy.port" value="8080"/>
 	<property name="proxy.host" value="proxy"/>
 	<property name="proxy.user" value=""/>
 	<property name="proxy.pass" value=""/>
 	<setproxy proxyhost="${proxy.host}" proxyport="${proxy.port}"
 	      proxyuser="${proxy.user}" proxypassword="${proxy.pass}"/>
-
+	-->
+
 	<target name="clean">
 		<delete dir="${dist-folder}" />
 		<delete dir="${build-folder}" />