chiark / gitweb /
userv: Tidy up a bit. Require file descriptors to be right.