diff options
Diffstat (limited to 'gdb/python/python.c')
| -rw-r--r-- | gdb/python/python.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/python/python.c b/gdb/python/python.c index 9795588..91636ef 100644 --- a/gdb/python/python.c +++ b/gdb/python/python.c @@ -1795,6 +1795,8 @@ finalize_python (void *ignore) (void) PyGILState_Ensure (); gdbpy_enter::finalize (); + gdbpy_finalize_micommands (); + Py_Finalize (); gdb_python_initialized = false; |