From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Wed, 23 Nov 2016 14:17:03 +0000 (+0100)
Subject: Detect breaking of input pipe from engines (GTK)
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=b7d432d602d69135339ccd577812b1c3e1c13996

Detect breaking of input pipe from engines (GTK)

In the GTK version the input events were not set up to trigger when
the pipe broke, which led to delayed detection of crashing engines.
---

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 485e942..b9bfd32 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -2292,7 +2292,7 @@ InputSourceRef AddInputSource(pr, lineByLine, func, closure)
 
     channel = g_io_channel_unix_new(is->fd);
     g_io_channel_set_close_on_unref (channel, TRUE);
-    is->sid = g_io_add_watch(channel, G_IO_IN,(GIOFunc) DoInputCallback, is);
+    is->sid = g_io_add_watch(channel, G_IO_IN|G_IO_HUP,(GIOFunc) DoInputCallback, is);
 
     is->closure = closure;
     return (InputSourceRef) is;