diff options
Diffstat (limited to 'referee.h')
| -rw-r--r-- | referee.h | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -35,6 +35,7 @@ public: }; struct WriteEvent { int player; + bool allowBrokenPipe; string line; }; struct GamelogEvent { @@ -77,6 +78,10 @@ Then, the referee has the following commands available: is written directly to the referee afterwards. The first player is 0, the second player is 1, etc. - 'write <player> <line>': write a line to the player with index <player>. +- 'writemaybe <player> <line>': write a line to the player with index <player>, + without considering a broken pipe error to be fatal. This is useful for Quit + messages because codecup players tend to exit before getting a formal Quit + sometimes. - 'gamelog <player> <line>': write a line in the game log indicating that the player with index <player> made the move given by <line>. - 'end <score> <score> ...': signify that the game has ended. The final scores |