Add optional shutdown routine for an extension lib.

1 files changed, 4 insertions, 0 deletions

diff --git a/msg.c b/msg.c
index 78818187..dabd20e3 100644
--- a/msg.c
+++ b/msg.c
@@ -158,5 +158,9 @@ gawk_exit(int status)
 		exit_val = status;
 		longjmp(fatal_tag, 1);
 	}
+
+	/* we could close_io() here */
+	close_extensions();
+
 	exit(status);
 }