X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=backend.c;h=b2cd7c3c42c998220e3cb2db062a1b9565dc5293;hb=c4709fa28f09b91b7d36c17cce477b7b9b498e6e;hp=26578086eefc8857d02a46e73439134aeb9e03c6;hpb=af3d528cf16eae800ff7f0b8b62f77ced7493412;p=xboard.git

diff --git a/backend.c b/backend.c
index 2657808..b2cd7c3 100644
--- a/backend.c
+++ b/backend.c
@@ -1982,7 +1982,7 @@ read_from_player (InputSourceRef isr, VOIDSTAR closure, char *message, int count
 	DisplayFatalError(_("Error reading from keyboard"), error, 1);
     } else if (gotEof++ > 0) {
 	RemoveInputSource(isr);
-	DisplayFatalError(_("Got end of file from keyboard"), 0, 0);
+	DisplayFatalError(_("Got end of file from keyboard"), 0, 666); // [HGM] 666 is kludge to alert front end
     }
 }