Re: Bug #1632: rmdir fails with broken pipe

From: Date: Fri, 02 Jul 1999 08:22:47 +0000
Subject: Re: Bug #1632: rmdir fails with broken pipe
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-7971@lists.php.net to get a copy of this message
On Thu, 1 Jul 1999, Rasmus Lerdorf wrote: > > Yes. Sprucing up the bug database stuff was on my list of things > > to do once the new website framework is in place. > > Yes, very sorry about that lagging on me. I still don't have decent > access from home and haven't had much time to work on it at work. > > The next steps if someone wants to play with it: > > - get rid of the CSS positioning stuff I tried to use and > just use small tables instead. Not one big table since that > will cause things to render slowly, but small individual tables > will give us the ability to position things better. See > http://new.php.net > > - Take the admin.php.net code and apply the new.php.net look-and-feel > to it and spruce it up a bit. I'll try to whip up a diagram which > shows how the SQL-based state machine works that is behind > admin.php.net and how simple it is to add new interfaces just by > adding SQL entries. > > - Write a site generation script that calls the cgi version of PHP > and builds the pseudo-static HTML pages for the site and for the > mirror sites. Why not use the Apache error-handler trick for dynamic caching? :-) - Stig

« previous php.dev (#7971) next »