tree 5e05c2c64ff6db21ed685d2c728e430cab70a8cc
parent e19391fdb74621eb43e5ae21b8c52adfbb9921ce
author Zesstra <zesstra@zesstra.de> 1596976673 +0200
committer Zesstra <zesstra@zesstra.de> 1601321619 +0200

leave(): Zuhoerer raus vor Auswahl neuer SV

leave() waehlt beim Verlassen eines Zuhoerers ggf.
einen neuen Supervisor aus, wenn das verlassende
Objekt der alte SV ist. Allerdings wird die Auswahl
gemacht bevor das alte Objekt ausgetragen wird und
dabei der zweitaelteste verbliebene Zuhoerer
gewaehlt. Das basiert wohl auf der Annahme, dass
das verlassende Objekt das aelteste ist.
Allerdings kann das verlassende Objekt ja genau das
zweitaelteste Objekt sein, d.h. SV ist dann ein
Objekt, was nicht auf der Ebene ist.
Daher erst den verlassenden Zuhoerer austragen,
dann einen neuen SV waehlen.

Change-Id: Ie0705476226e8c606117ed0ba194dbe7f7de3890