chiark / gitweb /
cgi: actually use the connection from the new login after logging in!