[cross-project-issues-dev] Problems with a mirror

[Thomas Hallgren <thomas@xxxxxxx>]

Hi,
Whenever I try to mirror the webtools milestone website using:

http://www.eclipse.org/downloads/download.php?file=/webtools/milestones/&format=xml&protocol=http

I get this entry:

   <mirror url="http://eclipse.mirrors.adc.am/webtools/milestones/"; 
label="[Armenia] ADC (http)"/>

and a subsequent error:

java.net.UnknownHostException: eclipse.mirrors.adc.am
   at 
java.net.AbstractPlainSocketImpl.connect(AbstractPlainSocketImpl.java:158)
   at java.net.SocksSocketImpl.connect(SocksSocketImpl.java:381)
   at java.net.Socket.connect(Socket.java:537)

That doesn't seem like a network problem but rather a DNS failure. Does 
anyone know what's up with that mirror?

Regards,
Thomas Hallgren