From 3dde95059da70143d6eabc5d90e1332d3c1e7661 Mon Sep 17 00:00:00 2001 From: curt Date: Wed, 4 Oct 2000 20:49:44 +0000 Subject: [PATCH] Close all iochannel connections on exit. --- src/GUI/gui.cxx | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx index f5bd04092..8fd6545d3 100644 --- a/src/GUI/gui.cxx +++ b/src/GUI/gui.cxx @@ -66,6 +66,7 @@ #include #include
#include
+#include
#include
#include
#include
@@ -759,10 +760,10 @@ void goodBye(puObject *) } #endif - // if(gps_bug) - // fclose(gps_bug); + // close all external I/O connections + fgIOShutdownAll(); - exit(-1); + exit(0); } -- 2.39.5