From d5b3aa0f4adfdb430f63bdcd27e8d604ee714519 Mon Sep 17 00:00:00 2001
From: rxi <rxi@users.noreply.github.com>
Date: Sat, 1 Oct 2016 00:43:05 +0100
Subject: [PATCH] Changed deinit() to suppress dmt_dump() if dmt_usage() is 0

---
 src/main.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index 9bb2ec5..1224752 100644
--- a/src/main.c
+++ b/src/main.c
@@ -30,7 +30,9 @@ static void deinit(void) {
   keyboard_deinit();
   lua_close(L);
   filesystem_deinit();
-  dmt_dump(stdout);
+  if ( dmt_usage() > 0 ) {
+    dmt_dump(stdout);
+  }
 }