在 Apache Ant中设置Proxy服务器

<target name="proxy">
	<property name="proxy.host" value="https://myproxy.com"/>
	<property name="proxy.port" value="8080"/>
	<property name="proxy.user" value="myusername"/>
	<property name="proxy.pass" value="mypassword"/>
	<setproxy proxyhost="${proxy.host}" proxyport="${proxy.port}" proxyuser="${proxy.user}" proxypassword="${proxy.pass}"/>
</target>