From cc1b1838a684e60452f1c45a937ec3a9963d2428 Mon Sep 17 00:00:00 2001
From: fdai7451 <ruben.otto@informatik.hs-fulda.de>
Date: Sat, 21 Jan 2023 15:35:04 +0100
Subject: [PATCH] feat: continue instead of exit on ctrl-c

---
 src/main.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index 0b84cd6..61298e6 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -35,7 +35,10 @@ fn main() -> Result<()> {
                     eprintln!("Malformed arguments: {}", args)
                 }
             },
-            Err(ReadlineError::Interrupted) | Err(ReadlineError::Eof) => {
+            Err(ReadlineError::Interrupted) => {
+                continue;
+            }
+            Err(ReadlineError::Eof) => {
                 break;
             }
             Err(err) => {