 |
 |
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]