Mark, Steve,
On Tue, 17 Jun 2003, Mark Taylor wrote:
> http.proxyHost=whatever
> http.proxyPort=whatever
Yes, I have that in my .stardev.properties file, and I've never had to
add anything to the ant command line to get remote connections to work.
Norman
--
---------------------------------------------------------------------------
Norman Gray http://www.astro.gla.ac.uk/users/norman/
Physics and Astronomy, University of Glasgow, UK [log in to unmask]
|