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
1 file changed