press ctrl-d to exit

subdirectory · Sep 30, 2023 · 4edfe5a · 4edfe5a
1 parent 4f175cd
commit 4edfe5a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cli/tools/repl/mod.rs b/cli/tools/repl/mod.rs
@@ -198,8 +198,8 @@ pub async fn run(flags: Flags, repl_flags: ReplFlags) -> Result<i32, AnyError> {
         if editor.should_exit_on_interrupt() {
           break;
         }
-        editor.set_should_exit_on_interrupt(true);
-        println!("press ctrl+c again to exit");
+        editor.set_should_exit_on_interrupt(false);
+        println!("press ctrl+d to exit");
         continue;
       }
       Err(ReadlineError::Eof) => {