php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #25073 Lots of "doubles" in the Appendices Menu
Submitted: 2003-08-13 05:39 UTC Modified: 2003-08-16 07:54 UTC
From: madsen at sjovedyr dot dk Assigned:
Status: Closed Package: Website problem
PHP Version: Irrelevant OS: Whatever Linux (Appearently.)
Private report: No CVE-ID: None
View Add Comment Developer Edit
 [2003-08-13 05:39 UTC] madsen at sjovedyr dot dk 
Description:
------------
Well, it seems like it only appears in the dk-mirror (not the dk2-mirror though).
Try looking at the menu at http://dk.php.net/command-line (That REQUEST_STRING gives a manual-search on the dk2-mirror.(?))

In the menu there are multiple instances of the entry "
appendixes.php#AEN0", which doesn't even look like should be present in the first place.

I also made a screenshot from it, just in case. It's here: http://lillesvin.linux.dk/shots/?dc429a18c969ee8340134f97f76e9658

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2003-08-13 05:53 UTC] goba@php.net 
Seems like the dk mirror does not delete old files when updating the mirror contents. http://dk.php.net/manual/en/features.commandline.php is the real command line page for some time now, and it is all right. There are some older pages left on that mirror. I'll inform the maintainer.
 [2003-08-13 07:50 UTC] guru at borsen dot dk 
Hmmm... I added the --delete tag and now all the manual pages shows blank pages. Any idea why?

This is my crontab right now.

# update php web mirror
*/30 * * * * /usr/bin/rsync -azC --delete rsync.php.net::phpweb /mirror3/php.borsen.dk > /root/last.php.rsync.log
 [2003-08-13 08:08 UTC] goba@php.net 
Erm, I don't know, that rsync line should work, I have just set up a new local mirror for testing yesterday, and it worked perfectly...
 [2003-08-16 07:54 UTC] goba@php.net 
Manual contents fixed on dk.php.net, there are still some problems with the ErrorHandler but we are on it.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved. 		Last updated: Tue May 21 12:01:34 2024 UTC