console.c
changeset 1127 b7eaa0592b30
parent 1109 1bab892228cd
child 1230 701163ef52b8
--- a/console.c	Sun Jan 23 21:30:31 2005 +0000
+++ b/console.c	Sun Jan 23 21:42:29 2005 +0000
@@ -284,6 +284,7 @@
 	if (_iconsole_output_file != NULL) {
 		IConsolePrintF(_iconsole_color_default, "file output complete");
 		fclose(_iconsole_output_file);
+		_iconsole_output_file = NULL;
 		return true;
 	}