tree 64e19829774eef2372d285495f478018f6ea2e56
parent ee2fb38a43b222ade0f5bc61805c6a2036434282
author Zesstra <zesstra@zesstra.de> 1579640617 +0100
committer Zesstra <zesstra@zesstra.de> 1579640617 +0100

getuuid(): UUID aus einer UID erzeugen.

Bislang arbeitete getuuid() nur auf Objekten.
Jetzt kann man ihr aber eine UID als string uebergeben
und sie ermittelt die dazu passende UUID. Sollte es
keine geben (weil der string keine UID eines Spielers
ist), wird der string unveraendert zurueckgeben.

Change-Id: Ia3d46ecb4d40295fe143f6e5ec566bdabc7e47d3