Fixing panic on history save fail

Signed-off-by: teo3300 <matteo.rogora@live.it>
This commit is contained in:
teo3300
2024-01-18 18:53:30 +09:00
parent 92e442b93d
commit 7ea4d17d2e

View File

@ -97,8 +97,9 @@ pub fn interactive(env: Env) {
match line {
Ok(line) => {
// TODO: should handle this in a different way
rl.add_history_entry(&line).unwrap();
rl.save_history(&history).unwrap();
rl.add_history_entry(&line).unwrap_or_default();
rl.save_history(&history)
.unwrap_or_else(|e| eprintln!("; WARNING: saving history: {}", e));
parser.push(&line);