From 91093f2ab256a7d149098803b0c311b30ce18f11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20N=2E=20Robalino?= <andres@androbtech.com>
Date: Mon, 26 Aug 2019 17:16:39 -0500
Subject: [PATCH] Avoid panicking if history can't be saved.

---
 src/cli.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cli.rs b/src/cli.rs
index 945e60754..fa3a275c2 100644
--- a/src/cli.rs
+++ b/src/cli.rs
@@ -297,7 +297,7 @@ pub async fn cli() -> Result<(), Box<dyn Error>> {
         }
         ctrlcbreak = false;
     }
-    rl.save_history("history.txt")?;
+    let _ = rl.save_history("history.txt");
 
     Ok(())
 }