chiark / gitweb /
improve dump output for sockets