chiark / gitweb /
socket: improve warning message when we get POLLHUP