Function markPlayerAsDisconnected

Extensions/Multiplayer/messageManager.ts:2160–2202

({
      runtimeScene,
      playerNumber,
      peerId,
    }: {
      runtimeScene: gdjs.RuntimeScene;
      playerNumber: number;
      peerId?: string;
    })

    };

    const markPlayerAsDisconnected = ({
      runtimeScene,
      playerNumber,
      peerId,
    }: {
      runtimeScene: gdjs.RuntimeScene;
      playerNumber: number;
      peerId?: string;
    }) => {
      logger.info(`Marking player ${playerNumber} as disconnected.`);
      _playerNumbersWhoJustLeft.push(playerNumber);
      // Temporarily save the username in another variable to be used for the notification,
      // as we're deleting its playerInfo just after.
      _temporaryPlayerNumberToUsername[playerNumber] =
        getPlayerUsername(playerNumber);
      clearPlayerTempData(playerNumber);

      // If Host has disconnected, either switch host or stop the game.
      if (peerId && peerId === gdjs.multiplayer.hostPeerId) {
        const shouldEndLobbyGame =
          gdjs.multiplayer.shouldEndLobbyWhenHostLeaves();
        if (shouldEndLobbyGame) {
          logger.info('Host has disconnected, ending the game.');

          clearAllMessagesTempData();
          gdjs.multiplayer.handleLobbyGameEnded();
        } else {
          logger.info('Host has disconnected, switching host.');

          gdjs.multiplayer.handleHostDisconnected({ runtimeScene });
          return;
        }
      }

      // If we are the host, send a heartbeat right away so that everyone is aware of the disconnection
      // on approximately the same frame.
      if (gdjs.multiplayer.isCurrentPlayerHost()) {
        const connectedPeerIds = gdjs.multiplayerPeerJsHelper.getAllPeers();
        const { messageName, messageData } = createHeartbeatMessage();
        sendDataTo(connectedPeerIds, messageName, messageData);
        lastHeartbeatSentTimestamp = getTimeNow();
      }
    };

    const getPlayerUsername = (playerNumber: number) => {
      return (