i've been fiddling with OpenGrok, the OpenSolaris source code browser:
maybe it would be nice to use this to publish the source of people's tools (it
does cross-referencing, searching and so on as well as browsing).
(downsides: it doesn't support PHP; but that shouldn't be too hard to add.)
as people may be aware, there have been some issues with mysql crashing
recently. i'm currently working with mysql support to try to isolate the
problem; as part of this i've replaced the mysql server with a debug binary,
which may run slightly slower.
i apologise for the problems while this is being worked on, but hopefully it
should be resolved soon.
Thanks to Kate, we now have a database called 'toolserver'. The 'wiki'
table in that database lists all wikis mirrored on zedler, with dbname,
content language and domain name. I hope this will be useful.
I don't have a toolserver account (yet?), but was purusing /~voj.
Useful stuff there.
Unfortunately, I don't know what other username paths are valid. The
front page says it'll eventually list projects; I want something more
Can someone with toolserver access just place a list of valid user
names on the front page so that I can at least hack URLs to find