1 files changed, 4 insertions, 1 deletions
diff --git a/main.cpp b/main.cpp
index ecf48df..edcafb1 100644
--- a/main.cpp
+++ b/main.cpp
@@ -313,7 +313,10 @@ match_done:
 		bool success = procs[i].writeLine("Stop");
 		procs[i].unStop();
 		if (success) usleep(10000);
-		procs[i].terminate();
+		int ret = procs[i].terminate();
+		if (ret != 0 && ret != 1009) {
+			cout << "Player " << i+1 << " exited with code " << ret << endl;
+		}
 	}
 
 	gMultiLog.append(logId, mres.describe(p1, p2));