Do not exit the repl when Ctrl-C is pressed, fixes #6870

This commit is contained in:
Aurélien Geron 2024-07-05 23:06:42 +12:00
parent 1bcf30391b
commit 4c43d54177
No known key found for this signature in database
GPG Key ID: D20EE8E56BBE3EE7

View File

@ -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:?}");