Avoid panicking if history can't be saved.

This commit is contained in:
Andrés N. Robalino 2019-08-26 17:16:39 -05:00
parent ca11dc2031
commit 91093f2ab2

View File

@ -297,7 +297,7 @@ pub async fn cli() -> Result<(), Box<dyn Error>> {
} }
ctrlcbreak = false; ctrlcbreak = false;
} }
rl.save_history("history.txt")?; let _ = rl.save_history("history.txt");
Ok(()) Ok(())
} }