From aebf77d5b4a0fa5c0cc6d194a635cc26e07bb1c3 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 11 Mar 2012 04:27:11 -0500
Subject: Don't clean up at end if not needed

---
 src/main.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/main.cc')

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");
   }
 
-- 
cgit v1.2.3