From b7d432d602d69135339ccd577812b1c3e1c13996 Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Wed, 23 Nov 2016 15:17:03 +0100
Subject: [PATCH] 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.
---
 gtk/xboard.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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;
-- 
1.7.0.4