PlayerQuit()

FUNKTION:
    void PlayerQuit(object pl);

GERUFEN VON:
    /std/player/base.c

ARGUMENTE:
    object pl
      Spieler, der Verbindung beendet

BESCHREIBUNG:
    Wird im environment() gerufen, wenn der Spieler das MUD mit "ende"
    verlaesst.

SIEHE AUCH:
    BecomesNetAlive(), BecomesNetDead()
    
24. Aug 2011 Gloinson