Not sure if there is much to be done about it, except wait for it to come back. in the mean time, I can see that the mirrorservice.org servers are working fine. -- Karanbir Singh : http://www.karan.org/ : 2522219 at icq