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 /main.cpp | |
parent | c01700906812f949c9088709b6c34307fbf63338 (diff) |
'writemaybe' command to allow broken pipe errors
Diffstat (limited to 'main.cpp')
-rw-r--r-- | main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -287,7 +287,7 @@ static void playMatch(Player &p1, Player &p2, int index, const Params ¶ms) { } } else if (auto writeEvent = get_if<Referee::WriteEvent>(&event)) { - if (!procs[writeEvent->player].writeLine(writeEvent->line)) { + if (!procs[writeEvent->player].writeLine(writeEvent->line, writeEvent->allowBrokenPipe)) { cout << "ERROR writing move to player " << writeEvent->player + 1 << " (game " << gameCodeName(p1, p2, index) << ")" << endl; throw StopCompetitionError(); |