Set history_path = NULL after free, hope it will fix history with spurious filenames

This commit is contained in:
Philippe Teuwen 2021-10-16 12:26:26 +02:00
commit 30d71a60ff

View file

@ -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;
}
}