tree 7cadfb3ef9094d3ce7d45b0cffb16a250de21535
parent b16348b0ad3338dd0de0c2240188932d1377b7c8
author Zesstra <zesstra@zesstra.de> 1558461776 +0200
committer Zesstra <zesstra@zesstra.de> 1558461776 +0200

Seherwerdung gegen Disconnect sichern.

Die Sequenz zur Seherwerdung sollte pruefen, ob der Spieler
noch interaktiv ist und abbrechen, wenn nicht. Sonst gibt
es Fehler... Und Merlin im Netztotenraum wollen wir auch
nicht. ;-)

Change-Id: I95e79f86d2b3ddb3394cb9116380b4d8809b8669