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
1 file changed