From 00ff141ee75f854d39e78fbf6eda5869a3c4a70f Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Fri, 16 Mar 2012 15:31:30 -0500 Subject: Always close the last report output stream Should fix #701 --- src/global.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/global.h') diff --git a/src/global.h b/src/global.h index 392b03a9..0c11e025 100644 --- a/src/global.h +++ b/src/global.h @@ -56,6 +56,11 @@ public: global_scope_t(char ** envp); ~global_scope_t(); + void quick_close() { + if (! report_stack.empty()) + report_stack.front().quick_close(); + } + virtual string description() { return _("global scope"); } -- cgit v1.2.3