| commit | 5770ba6128f7b8ae88f376aaa1bb9b3b05c6183c | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Mon Aug 10 10:19:23 2020 +0200 |
| committer | Zesstra <zesstra@zesstra.de> | Mon Sep 28 21:33:39 2020 +0200 |
| tree | db6665861936f55f946dc50f6391bcd785082140 | |
| parent | 0c69c2dd55e288603fa6a3eecf87a1a0eb051f08 [diff] |
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