Detect breaking of input pipe from engines (GTK)
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 23 Nov 2016 14:17:03 +0000 (15:17 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 15:39:23 +0000 (16:39 +0100)
commitb7d432d602d69135339ccd577812b1c3e1c13996
tree2fc2ec682d2ebbfe19981d0fa529c1bcd9f72469
parent40de0760e954c4748ab1054fd7062ea62b236c7e
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