Re: Annotated Manual

Well, the replications seems to work rather good, for me that is.. // Mattias aka efnet's #php bad2da ----- Original Message ----- From: "Andi Gutmans" <andi@zend.com> To: "Simon Roberts" <simon@airdmhor.gen.nz>; <php-mirrors@lists.php.net>; <php-dev@lists.php.net> Sent: Friday, November 24, 2000 9:42 AM Subject: Re: [PHP-DEV] Annotated Manual > How does this allow you to actually show the user notes on the right pages? > Each manual page has its own set of user-notes. > Although I'm aware you don't want to use a database we were thinking of > trying out MySQL's replication to do this which would be pretty cool. > Has anyone tried the new replication in MySQL? Is it mature enough? > Andi > > At 04:06 PM 11/24/00 +1300, Simon Roberts wrote: > >I've just commited a small addition to phpweb that will allow the annotated > >manual work on a mirror. It works by downloading all the comments from > >www.php.net, and storing them in ./manual/usernotes. If people think that > >it's worthwhile, we could even add the usernotes dir to CVS and distributed > >updates to the comments that way (better, IMO) > > > >To download the comments from php.net, open > >http://your-mirror/get-user-notes.php. It'll create > >manual/usernotes, and > >populate it with the comments (about 2Mb of traffic to php.net). You may > >want to make usernotes not writable afterwards if you don't want users > >running the same script. Anyone got a better idea on how to manage that > >process? > > > >I'd like to hear if anyone uses it, or if you've got better ideas. (I'm > >trying to avoid having a DB for the mirror) > > > >Simon > > > > > > > >-- > >PHP Development Mailing List <http://www.php.net/> > >To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net > >For additional commands, e-mail: php-dev-help@lists.php.net > >To contact the list administrators, e-mail: php-list-admin@lists.php.net > > --- > Andi Gutmans <andi@zend.com> > http://www.zend.com/ > > -- > PHP Development Mailing List <http://www.php.net/> > To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net > For additional commands, e-mail: php-dev-help@lists.php.net > To contact the list administrators, e-mail: php-list-admin@lists.php.net > >