| commit | 137ea1cba40a37f76cf18f46b60b1e6e4fe15bc7 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Mon Aug 10 02:15:20 2020 +0200 |
| committer | Zesstra <zesstra@zesstra.de> | Mon Sep 28 21:33:39 2020 +0200 |
| tree | bdfb46143c86f8543cdd0a4697f6b3cfe84501ac | |
| parent | 877cb0a7fe9fb0b2b0b4674542a7825a15a41f9d [diff] |
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