chiark / gitweb /
add functions for dumping server state