diff options
-rw-r--r-- | main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -326,7 +326,7 @@ static void playMatch(Player &p1, Player &p2, int index, const Params ¶ms) { match_done: for (int i = 0; i < 2; i++) { - bool success = procs[i].writeLine("Stop"); + bool success = procs[i].writeLine("Quit"); procs[i].unStop(); if (success) usleep(10000); int ret = procs[i].terminate(); |