source/server/GameServer.py
def disconnect(self, channel):
        """Called by a channel when it disconnects"""
        if channel not in self.players:
            #Disconnecting a channel that never fully joined the game, do nothing
            return
        #For players who did join the game need to handle removing them safely
        self.delPlayer(channel)
Called by a channel when it disconnects
Called by a channel when it disconnects
Called by a channel when it disconnects
def disconnect(self, channel):
        if channel not in self.players:
            return
        self.delPlayer(channel)
def disconnect ( self , channel ) : if channel not in self . players : return self . delPlayer ( channel )
Called by a channel when it disconnects
Called by a channel when it disconnects
"""Called by a channel when it disconnects""" #Disconnecting a channel that never fully joined the game, do nothing #For players who did join the game need to handle removing them safely
self
channel