Don't forget to quit engine when GUI dies unexpectedly
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 29 Oct 2014 21:46:59 +0000 (22:46 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 29 Oct 2014 21:46:59 +0000 (22:46 +0100)
commitd4c964cc8830407dbc9efa12a1d50e4ce48b711a
treee98a3077f394cdc9942e86a47939f63675c2105f
parent8fa58cb5e2b3452a9baa92ce046ec92b5fd55960
Don't forget to quit engine when GUI dies unexpectedly

When we get an EOF signal from the GUI pipe, meaning that the GUI
died without sending a 'quit' command, we'd better shutdown the engine
before exiting ourself.
UCI2WB.c