diff options
| -rw-r--r-- | src/global.h | 5 | ||||
| -rw-r--r-- | src/main.cc | 1 | ||||
| -rw-r--r-- | src/report.h | 4 |
3 files changed, 10 insertions, 0 deletions
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"); } diff --git a/src/main.cc b/src/main.cc index dc0798e3..9d2ba311 100644 --- a/src/main.cc +++ b/src/main.cc @@ -212,6 +212,7 @@ int main(int argc, char * argv[], char * envp[]) } else #endif { + global_scope->quick_close(); INFO("Ledger ended"); // let global_scope leak! } diff --git a/src/report.h b/src/report.h index 280b2f48..aca4f466 100644 --- a/src/report.h +++ b/src/report.h @@ -125,6 +125,10 @@ public: output_stream.close(); } + void quick_close() { + output_stream.close(); + } + virtual string description() { return _("current report"); } |