diff options
author | John Wiegley <johnw@newartisans.com> | 2012-03-11 04:27:11 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2012-03-11 04:27:11 -0500 |
commit | aebf77d5b4a0fa5c0cc6d194a635cc26e07bb1c3 (patch) | |
tree | 9a40a63e799b97e1d16aef35b804b08ee3f1e1c3 /src/main.cc | |
parent | fad24d40f7826b4c4ea840f0c068ac43ed50947d (diff) | |
download | fork-ledger-aebf77d5b4a0fa5c0cc6d194a635cc26e07bb1c3.tar.gz fork-ledger-aebf77d5b4a0fa5c0cc6d194a635cc26e07bb1c3.tar.bz2 fork-ledger-aebf77d5b4a0fa5c0cc6d194a635cc26e07bb1c3.zip |
Don't clean up at end if not needed
Diffstat (limited to 'src/main.cc')
-rw-r--r-- | src/main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.cc b/src/main.cc index dd03206f..5f435d0b 100644 --- a/src/main.cc +++ b/src/main.cc @@ -209,6 +209,7 @@ int main(int argc, char * argv[], char * envp[]) shutdown_memory_tracing(); #endif } else { + global_scope.release(); // let it leak! INFO("Ledger ended"); } |