1. 01 Apr, 2021 1 commit
  2. 16 Mar, 2021 7 commits
  3. 11 Mar, 2021 1 commit
  4. 10 Mar, 2021 8 commits
  5. 26 Feb, 2021 7 commits
  6. 09 Jun, 2020 4 commits
  7. 08 Jun, 2020 3 commits
  8. 07 Jun, 2020 3 commits
  9. 06 Jun, 2020 2 commits
  10. 05 Jun, 2020 1 commit
    • David Négrier's avatar
      Fixing disconnection taking ~15 seconds · 96c5d92c
      David Négrier authored
      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)
      96c5d92c
  11. 04 Jun, 2020 3 commits