diff options
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(); |