1 files changed, 2 insertions, 0 deletions

diff --git a/debug.c b/debug.c
index 36454366..8bd3e841 100644
--- a/debug.c
+++ b/debug.c
@@ -5344,6 +5344,8 @@ close_all()
 		}
 	}
 
+	close_extensions();
+
 	set_gawk_output(NULL);	/* closes output_fp if not stdout */ 
 }