Tom Tromey beadf91284 Add extension_language_ops::shutdown ...

Right now, Python is shut down via a final cleanup.  However, it seems
to me that it is better for extension languages to be shut down
explicitly, after all the ordinary final cleanups are run.  The main
reason for this is that a subsequent patch adds another case like
finalize_values; and rather than add a series of workarounds for
Python shutdown, it seemed better to let these be done via final
cleanups, and then have Python shutdown itself be the special case.

2024-02-27 10:30:29 -07:00

81 KiB

Raw Blame History

View Raw