changeset 28350:c6d10df71863

maint: Merge stable to default.
author John W. Eaton <jwe@octave.org>
date Fri, 22 May 2020 22:23:38 -0400
parents d73e4749d8dd (current diff) 8513a18439ca (diff)
children ec764709312e
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libinterp/octave.cc	Fri May 22 16:22:08 2020 -0400
+++ b/libinterp/octave.cc	Fri May 22 22:23:38 2020 -0400
@@ -378,7 +378,7 @@
 
     int status = interp.execute ();
 
-    delete_interpreter ();
+    interp.shutdown ();
 
     return status;
   }