From 33c8a59e97aba09b0cf77546c60eb983068fbac0 Mon Sep 17 00:00:00 2001
From: antirez <antirez@gmail.com>
Date: Thu, 5 May 2016 13:57:57 +0200
Subject: [PATCH] redis-cli: don't free historyfile, is used later.

---
 src/redis-cli.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/redis-cli.c b/src/redis-cli.c
index 8b2b666e..7ada5bc8 100644
--- a/src/redis-cli.c
+++ b/src/redis-cli.c
@@ -986,6 +986,7 @@ static void repl(void) {
         if (line[0] != '\0') {
             argv = sdssplitargs(line,&argc);
             if (history) linenoiseHistoryAdd(line);
+            printf("HISTORY: %s\n", historyfile);
             if (historyfile) linenoiseHistorySave(historyfile);
 
             if (argv == NULL) {