games/eboard/files/patch-network.h


1
2
3
4
5
6
7
8
9
10

--- network.h.orig	2018-07-31 18:02:19 UTC
+++ network.h
@@ -253,6 +253,7 @@ class PipeConnection : public BufferedConnection,
   int  pid;
   int  toid; // timeout
   string handshake;
+  int  use_execve;
   double MaxWaitTime; // msecs
 
 };