Re: Bug #1632: rmdir fails with broken pipe
| From: | Stig Bakken | 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