main.c, emphasize the SETJMP wrapper around the command processing loop

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 */