X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=backend.c;h=726b2d3d4826e9ed1702d1ea4fe2be660af69ff3;hb=4664f1be975afb2add547ef8bf344e153f210400;hp=b1d35a9cb92eda05831ba54bdbdef4a4dd9a4c28;hpb=95772c234f0afaf88ef01854868c93ff2e8a20fb;p=xboard.git

diff --git a/backend.c b/backend.c
index b1d35a9..726b2d3 100644
--- a/backend.c
+++ b/backend.c
@@ -8378,6 +8378,9 @@ if(appData.debugMode) fprintf(debugFP, "nodes = %d, %lld\n", (int) programStats.
 		_(cps->which), cps->program, cps->host, message);
 	RemoveInputSource(cps->isr);
 	if(appData.icsActive) DisplayFatalError(buf1, 0, 1); else {
+	    cps->isr = NULL;
+	    DestroyChildProcess(cps->pr, 9 ); // just to be sure
+	    cps->pr = NoProc; 
 	    if(cps == &first) {
 		appData.noChessProgram = TRUE;
 		gameMode = MachinePlaysBlack; ModeHighlight(); // kludge to unmark Machine Black menu