At the moment people are listed as being in a channel even if they are not connected - while this might be intended information about the fact that they are disconnected should probably be available so clients can use this to apply special styling or simply filter out disconnected-users. We need user-disconnected and user-connected events to communicate this as well as making the information available on the joined-room event.
At the moment people are listed as being in a channel even if they are not connected - while this might be intended information about the fact that they are disconnected should probably be available so clients can use this to apply special styling or simply filter out disconnected-users. We need user-disconnected and user-connected events to communicate this as well as making the information available on the joined-room event.