1 files changed, 1 insertions, 0 deletions
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!
   }