|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #42442 is dead
Submitted: 2007-08-27 10:16 UTC Modified: 2007-08-27 12:31 UTC
From: hans at soeharso dot net Assigned:
Status: Not a bug Package: Systems problem
PHP Version: 5.2.3 OS: n/a
Private report: No CVE-ID: None
 [2007-08-27 10:16 UTC] hans at soeharso dot net
Dear Support, is no longer available. Please delete mirror site from site. Also, please redirect the search function to Currently, it still redirecting to

Thank you.
-Hans Soeharso


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2007-08-27 10:18 UTC]
 [2007-08-27 12:31 UTC]
We have system to track broken mirrors.

The system checks all mirrors every hour and removes broken mirrors from our mirror lists and redirections.
This can take up to two hours to sync to all mirrors and therefore it may have happened you got redirected to during that synchronizing.

As long as you don't type in "" into your browser you should not be redirected there.

PHP Copyright © 2001-2019 The PHP Group
All rights reserved.
Last updated: Wed Jul 24 01:01:25 2019 UTC