David Négrier 96c5d92c46 Fixing disconnection taking ~15 seconds ... Most of the time, sending a disconnect event to one of the players is enough (the player will close the connection which will be shut for the other player). However! In the rare case where the WebRTC connection is not yet established, if we close the connection on one of the player, the other player will try connecting until a timeout happens (during this time, the circle with the name is displayed for nothing). So now, we send disconnection event to every body (not only the people in the group, but also to the person leaving the group)		2020-06-05 13:07:18 +02:00
..
MediaManager.ts	More strict fixes	2020-06-04 18:56:22 +02:00
SimplePeer.ts	Fixing disconnection taking ~15 seconds	2020-06-05 13:07:18 +02:00