tree 5f74fda3127548853ae7b224d2a1aad238af318e
parent d7529a0813fe1ab0b98f6bf926922ab096f1d964
author Bugfix <mg@henning-ullrich.de> 1587213543 +0200
committer Zesstra <zesstra@zesstra.de> 1587234936 +0200

Ausgabe auf ReceiveMsg() umgestellt.

write() nd somit auch printf() ist nicht mehr erwuenscht. Und ggf. ist
hier nicht this_player() der Addressat.

Change-Id: I7a25201b4ee682cfeaa2bf817ea07d0b1b8ea7ae