FUNKTION:
        void PlayerQuit(object pl)

ARGUMENTE:
        object pl - Das Spielerobjekt, das sich gerade ausloggt.
 
BESCHREIBUNG:
        Diese Funktion wird im Environment eines Spielers aufgerufen,
        wenn dieser 'ende' macht.
	Das Spielerobj wird kurz nach dem Aufruf zerstoert, man kann
	nicht mehr viel sinnvolles machen, ausser spaeter den Raum
	aufzuraeumen o.ae. 

BEMERKUNGEN:
	Die Funktion ist nirgends definiert. Man muss sie selbst in
        seinen Raeumen einfuegen.

SIEHE AUCH:
	BecomesNetDead(L), move(L), prevent_insert(L)