changeset 31040:0ee18536ec5c

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 28 May 2022 13:37:49 +0200
parents 39ca6d0b63e4 (current diff) ecb867dfc8eb (diff)
children b949f8a631e2
files libinterp/corefcn/interpreter.cc
diffstat 1 files changed, 7 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/libinterp/corefcn/interpreter.cc	Fri May 27 07:58:36 2022 -0700
+++ b/libinterp/corefcn/interpreter.cc	Sat May 28 13:37:49 2022 +0200
@@ -659,6 +659,9 @@
 
   interpreter::~interpreter (void)
   {
+    if (! m_app_context)
+      shutdown ();
+
     delete m_gh_manager;
   }
 
@@ -911,15 +914,17 @@
               }
             else
               exit_status = main_loop ();
+
+            shutdown ();
           }
       }
     catch (const exit_exception& xe)
       {
         exit_status = xe.exit_status ();
+
+        shutdown ();
       }
 
-    shutdown ();
-
     return exit_status;
   }