Implement aborting of games on engine request.
authorH.G. Muller <h.g.muller@hccnet.nl>
Sun, 30 Dec 2012 13:58:16 +0000 (14:58 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sat, 19 Jan 2013 22:27:21 +0000 (23:27 +0100)
commit1426e13849d5d89aff83863336431a54b6fd8601
tree78665bd0181f9127898f9cbd4af62f843e5321fd
parent5ed44d13065e80e2948b3b05156184daffde8a06
Implement aborting of games on engine request.

A new game-end command is added. For bakward compatibility it is disguised
as an old one, namely "1/2-1/2 {Engine Abort Request}". These resultDetails
are recognized as special, and rather than ending the game in a draw (which
GUIs not implementing this), the game will be completely 'expunged' from
the match or tourney it is part of, leaving no trace in the saveGameFile.
backend.c