final case classPlayerHasLeft(zone: Zone, player: Option[Player]) extends Product with Serializable
Message that acts in reply to Leave(avatar) or Release(avatar).
In the former case, the avatar will have successfully left the zone, and player may be defined.
In the latter case, the avatar did not initially Join the zone, and player is None.
This message should not be considered a failure or a success case.
Message that acts in reply to
Leave(avatar)
orRelease(avatar)
. In the former case, the avatar will have successfully left the zone, andplayer
may be defined. In the latter case, the avatar did not initiallyJoin
the zone, andplayer
isNone
. This message should not be considered a failure or a success case.the
Zone
objectthe
Player
objectRelease
Leave