| commit | b5b60a4e74def4aa68a6d94f274201f3d2b8e64c | [log] [tgz] |
|---|---|---|
| author | Bugfix <mg@henning-ullrich.de> | Sat Apr 18 14:39:03 2020 +0200 |
| committer | Zesstra <zesstra@zesstra.de> | Sat Apr 18 20:35:36 2020 +0200 |
| tree | 5f74fda3127548853ae7b224d2a1aad238af318e | |
| parent | d7529a0813fe1ab0b98f6bf926922ab096f1d964 [diff] |
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