Re: PL1 is down

Hi, pl1.php.net is not down, it’s alive 24/7. But we also found that there is some problem with it. http://pl1.php.net/ - working, main page is displaying correctly http://pl1.php.net/rmdir - not working :( I will investigate it now and get back if I will find some explanation about this. Any hints are welcomed. Pozdrawiam Oskar Szafraniec Wiadomość napisana przez Maciej Sobaczewski <sobak@php.net> w dniu 9 maj 2014, o godz. 17:15: > Hello there. > > PL1 mirror is down, at least for a week. Can we mark it as inactive? > > Apart from that I think that we have some design failure here. When local mirror is down people > can't browse any pages on php.net because they are still redirected to mirror. Short term > solution is manually changing URL to use another mirror, but I think that it can be problematic for > majority of visitors. I'm aware that changing this behavior isn't easy, but I just wanted > to draw attention to this problem. > > Regards, > Sobak.