Commands below when world is exited by player will execute when a player leaves the world. When editing your world, the when player exits the world event will execute when a player enters build mode.
Parameters
player
The player who exits the world.
PREREQUISITE READING
WHEN PLAYER ENTERS THE WORLD precedes this tutorial