1 files changed, 2 insertions, 0 deletions
diff --git a/msg.c b/msg.c
index bc446a14..5427a963 100644
--- a/msg.c
+++ b/msg.c
@@ -162,6 +162,7 @@ gawk_exit(int status)
 		longjmp(fatal_tag, 1);
 	}
 
+	/* we could close_io() here */
 	final_exit(status);
 }
 
@@ -172,6 +173,7 @@ final_exit(int status)
 {
 	/* run any extension exit handlers */
 	run_ext_exit_handlers(status);
+	close_extensions();
 
 	exit(status);
 }