Don't clean up at end if not needed

2012-03-11 04:27:11 -05:00 · 2012-03-11 04:27:11 -05:00 · aebf77d5b4
commit aebf77d5b4
parent fad24d40f7
1 changed files with 1 additions and 0 deletions
--- 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");
  }