From 30d71a60ff379e0ed95db06ea8678e948608f7fd Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Sat, 16 Oct 2021 12:26:26 +0200
Subject: [PATCH] Set history_path = NULL after free, hope it will fix history
 with spurious filenames

---
 client/src/proxmark3.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/client/src/proxmark3.c b/client/src/proxmark3.c
index 0ebb35cd8..454a9d0a1 100644
--- a/client/src/proxmark3.c
+++ b/client/src/proxmark3.c
@@ -147,6 +147,7 @@ static void flush_history(void) {
     if (g_session.history_path) {
         write_history(g_session.history_path);
         free(g_session.history_path);
+        g_session.history_path = NULL;
     }
 }