diff options
author | Tom Smeding <tom@tomsmeding.com> | 2021-10-16 11:28:38 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2021-10-16 11:28:38 +0200 |
commit | 006f8b49d9ebe1ca334b934d0a127c0029300871 (patch) | |
tree | fe973fdecedb6f43fccbd8ffb70a5a82f51d59f3 /referee.h | |
parent | c01700906812f949c9088709b6c34307fbf63338 (diff) |
'writemaybe' command to allow broken pipe errors
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 |