From ebacbe03de625229a7afeb2568059b4112b6fcaf Mon Sep 17 00:00:00 2001 From: rlar Date: Sat, 2 Jul 2011 20:17:37 +0000 Subject: [PATCH] main.c, emphasize the SETJMP wrapper around the command processing loop --- src/main.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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 */