Hook in the fgOSExit() function.

diff --git a/src/Main/fg_os.cxx b/src/Main/fg_os.cxx
index e7a86d81ff30797570098a80a0663595ee06c920..beaea1bee11a925e86549d44c7be17c5614b557f 100644 (file)
--- a/src/Main/fg_os.cxx
+++ b/src/Main/fg_os.cxx
@@ -139,6 +139,11 @@ void fgOSMainLoop()
     glutMainLoop();
 }
 
+void fgOSExit(int code)
+{
+    exit(code);
+}
+
 static int CurrentCursor = MOUSE_CURSOR_POINTER;
 
 int fgGetMouseCursor()

diff --git a/src/Main/fg_os.hxx b/src/Main/fg_os.hxx
index dfe26f42624549a5281b4a18f36ff5e443249485..5b5df9c398658e66f16231c95737c52363c9d535 100644 (file)
--- a/src/Main/fg_os.hxx
+++ b/src/Main/fg_os.hxx
@@ -46,6 +46,7 @@ void fgOSOpenWindow(int w, int h, int bpp, bool alpha, bool stencil,
                     bool fullscreen);
 void fgOSFullScreen();
 void fgOSMainLoop();
+void fgOSExit(int code);
 
 void fgSetMouseCursor(int cursor);
 int  fgGetMouseCursor();

diff --git a/src/Main/main.cxx b/src/Main/main.cxx
index 3d9fc2c53214e17d6df826a75acddd98d6003137..00ca95f192bdbb9a16b5a31dfaf4110b927aeccd 100644 (file)
--- a/src/Main/main.cxx
+++ b/src/Main/main.cxx
@@ -1447,6 +1447,7 @@ void fgReshape( int width, int height ) {
 // which happens in the sound manager destructor.
 void fgExitCleanup() {
     delete globals;
+    fgOSExit(0);
 }