1 files changed, 3 insertions, 1 deletions
diff --git a/src/main.cc b/src/main.cc
index a1ac0339..a44506c9 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -59,6 +59,7 @@ int main(int argc, char * argv[], char * envp[])
   //   --debug CATEGORY    ; turns on debug logging
   //   --trace LEVEL       ; turns on trace logging
   //   --memory            ; turns on memory usage tracing
+  //   --init-file         ; directs ledger to use a different init file
   handle_debug_options(argc, argv);
 #if VERIFY_ON
   IF_VERIFY() initialize_memory_tracing();
@@ -213,7 +214,8 @@ int main(int argc, char * argv[], char * envp[])
   } else
 #endif
   {
-    global_scope->quick_close();
+    if (global_scope)
+      global_scope->quick_close();
     INFO("Ledger ended");       // let global_scope leak!
   }