Sockets can go stale server side, but remain open client side. It would be better if we checked if they were closed before writing (if we hadn't read from the socket within some duration). That should avoid reporting some transient network errors to the user.