Cannot set properties of undefined (setting 'isInactive')

[iccanobif]

thrown at main.js:703

The cause is that a user can login but for some reason (network issues? crappy proxy?) never start a websocket connection. in that case his disconnectionTime will stay null and after inactivityTimeout the server will start sending out server-user-inactive messages about that user, even if the other users don't know about him.

Possible solutions: merely make the client check that this.users[userId] is not undefined? or maybe initialize disconnectionTime to the current time during login so that all socketless users look the same (with a non-null disconnectionTime)?