chiark / gitweb /
service: remove unneccesary Socket.got_socket_fd