X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.c;h=f5e188579c4395f8e1e929ab0c5e20aea4be8caf;hb=164666db4ca950b4f08dd424166ef6be3e3494c2;hp=9d78f4c63453501fd51eb5e4f24575a2f09ec8dc;hpb=a6e000861845456209511ed820b06f15e3395896;p=xboard.git

diff --git a/menus.c b/menus.c
index 9d78f4c..f5e1885 100644
--- a/menus.c
+++ b/menus.c
@@ -431,6 +431,13 @@ void
 DebugProc ()
 {
     appData.debugMode = !appData.debugMode;
+    if(!strcmp(appData.nameOfDebugFile, "stderr")) return; // stderr is already open, and should never be closed
+    if(!appData.debugMode) fclose(debugFP);
+    else {
+	debugFP = fopen(appData.nameOfDebugFile, "w");
+	if(debugFP == NULL) debugFP = stderr;
+	else setbuf(debugFP, NULL);
+    }
 }
 
 void