Do we need to inform the userlist the socket has gone down? Or some other piece of code?