tree db6665861936f55f946dc50f6391bcd785082140
parent 0c69c2dd55e288603fa6a3eecf87a1a0eb051f08
author Zesstra <zesstra@zesstra.de> 1597047563 +0200
committer Zesstra <zesstra@zesstra.de> 1601321619 +0200

Neuen SV zuweisen, wenn alter unbekannt.

assert_supervisor() war noch nicht ganz vollstaendig
und hat nur versucht, den alten SV neuzuladen, wenn
dessen Pfad bekannt war.
Im anderen Falle wird nun ein neuer SV bestimmt.

Change-Id: Id84cd88c34fdc5960f80c6aed3257279993b4a2a