[bug #63219] Introduce a close function for loadable plugins.

[Dmitry Goncharov]

Follow-up Comment #1, bug #63219 (project make):

Make allows a loadable plugin to implement a setup function.
This patch adds the ability for a loadable plugin to optionally specify a
close function.

Make calls this close function before unloading the plugin. This close
function can be used for cleanup purposes.

The impl in this patch calls the close function of each loaded plugin before
unloading and at exit, whether successful or not.
This impl does not call the close function when make is killed by a signal. It
is possible to call the close function even when make is killed.
However
1. This would introduce restrictions on call that the close function can do. 
2. Make is going to be modified to have the signal handler set a flag and
handle the flag outside the signal handler.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63219>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/