Adding a playersStore

The playerStore can be useful to get the details of a given player from its ID.
2021-07-06 17:13:08 +02:00
parent 194d6a6414
commit 46e6917df6
8 changed files with 62 additions and 24 deletions
@@ -183,7 +183,6 @@ message RoomJoinedMessage {

 message WebRtcStartMessage {
  int32 userId = 1;
-  string name = 2;
  bool initiator = 3;
  string webrtcUserName = 4;
  string webrtcPassword = 5;
@@ -257,7 +256,7 @@ message ServerToClientMessage {
    AdminRoomMessage adminRoomMessage = 14;
    WorldFullWarningMessage worldFullWarningMessage = 15;
    WorldFullMessage worldFullMessage = 16;
-    RefreshRoomMessage refreshRoomMessage = 17; 
+    RefreshRoomMessage refreshRoomMessage = 17;
    WorldConnexionMessage worldConnexionMessage = 18;
    EmoteEventMessage emoteEventMessage = 19;
  }