| commit | 0692c582776394eddf4bf1ed353055c01ac7af46 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Tue Jan 21 22:03:37 2020 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Tue Jan 21 22:03:37 2020 +0100 |
| tree | 64e19829774eef2372d285495f478018f6ea2e56 | |
| parent | ee2fb38a43b222ade0f5bc61805c6a2036434282 [diff] |
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