From ab4d3565dff72de6c202be58752c20eb96e3c6a1 Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 14 Aug 2024 21:17:29 +0300 Subject: [PATCH] more --replxx-read-only --- src/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.c b/src/main.c index 43c7d29c..b994a68f 100644 --- a/src/main.c +++ b/src/main.c @@ -488,7 +488,7 @@ static NOINLINE i64 readInt(char** p) { void before_exit(void) { if (global_replxx!=NULL && global_histfile!=NULL) { - replxx_history_save(global_replxx, global_histfile); + if (!replxx_read_only) replxx_history_save(global_replxx, global_histfile); replxx_end(global_replxx); global_replxx = NULL; }