tree bdfb46143c86f8543cdd0a4697f6b3cfe84501ac
parent 877cb0a7fe9fb0b2b0b4674542a7825a15a41f9d
author Zesstra <zesstra@zesstra.de> 1597018520 +0200
committer Zesstra <zesstra@zesstra.de> 1601321619 +0200

leave(): Ebenen ohne Zuhoerer aufloesen.

Wenn nach dem Austreten eines Zuhoerers keine
weiteren Zuhoerer mehr da sind, wird die Ebene
aufgeloest.
Bemerkung: die Supervisoren sind ebenfalls
Zuhoerer, d.h. solange ein Supervisor existiert,
wird die Ebene auch nicht aufgeloest.

Change-Id: I971c46137a7a362af96659813b0f6ab852d669fe