From 4c43d5417734980df9a56f3a81de34c16e96a29d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Geron?= <ageron@users.noreply.github.com>
Date: Fri, 5 Jul 2024 23:06:42 +1200
Subject: [PATCH] Do not exit the repl when Ctrl-C is pressed, fixes #6870

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

diff --git a/crates/repl_cli/src/lib.rs b/crates/repl_cli/src/lib.rs
index 08ee592498e..7a364f316f2 100644
--- a/crates/repl_cli/src/lib.rs
+++ b/crates/repl_cli/src/lib.rs
@@ -92,8 +92,8 @@ pub fn main() -> i32 {
                 return 0;
             }
             Err(ReadlineError::Interrupted) => {
+                // Ctrl-C was pressed
                 eprintln!("CTRL-C");
-                return 1;
             }
             Err(err) => {
                 eprintln!("REPL error: {err:?}");