diff --git a/src/main.c b/src/main.c
index bc93faec7..d5300c787 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1303,8 +1303,12 @@ evl:
     }  /* ---  if (ft_batchmode) ---  */
 
 
-    cp_interactive = TRUE;
-    app_rl_readlines();  /*  enter the command processing loop  */
+    for(;;)
+        if(!SETJMP(jbuf, 1)) {
+            /*  enter the command processing loop  */
+            cp_interactive = TRUE;
+            app_rl_readlines();
+        }
 
 #else  /* ~ SIMULATOR */