Re: Bug #1632: rmdir fails with broken pipe

On Jul 01, 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. No sweat. I've got lots of other things to keep me busy. :) > 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. Perhaps a better approach would be to serve up the dynamic pages from something like http://dynamic.php.net/ and then use wget or some other web mirroring program to generate the static pages. Jim