Regularly check for user input when searching, to have a chance to catch EOF from...
authorYann Dirson <ydirson@free.fr>
Mon, 14 Oct 2013 19:38:24 +0000 (21:38 +0200)
committerYann Dirson <ydirson@free.fr>
Thu, 17 Oct 2013 22:38:27 +0000 (00:38 +0200)
commit74ba6a1c63855ebd51dbe316582a16e7ca95c0a4
tree20b3e96ee0a3d81ec3e231a3a3f54dc3f25e4bb4
parent389702a9b4201dd03f756606f41eb58516997272
Regularly check for user input when searching, to have a chance to catch EOF from engine.

When an engine quits without terminating a searching gnushogi, it would
continue to search and never realize there was no reason to continue.

This is a poll-based implementation of what H.G.Muller wrote for WIN32 to
circumvent the lack of UNIX signals there.
gnushogi/search.c