toString() for server sockets