From c910ed7c836a6cb82ad1798fd13d630040c80262 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 27 Apr 2007 10:09:23 +0000
Subject: [PATCH] Report ledger shutting down even if verify is not being used.

---
 session.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/session.cc b/session.cc
index bced1f75..3d22da7b 100644
--- a/session.cc
+++ b/session.cc
@@ -216,8 +216,10 @@ void shutdown()
   amount_t::shutdown();
 
   IF_VERIFY() {
-    INFO("Ledger shutdown (Boost and libstdc++ may hold memory)");
+    INFO("Ledger has shutdown (Boost and libstdc++ may hold memory)");
     shutdown_memory_tracing();
+  } else {
+    INFO("Ledger has shutdown");
   }
 }