From 13f66957b610b244587c503ea6e5116f73bcd260 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 23 Apr 2009 11:48:06 -0500 Subject: [PATCH] break should restore system_mode. --- pl/boot.yap | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pl/boot.yap b/pl/boot.yap index 5e2135792..6e17e9987 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -932,6 +932,7 @@ not(G) :- \+ '$execute'(G). debugger state */ break :- + nb_getval('$system_mode',SystemMode), nb_getval('$trace',Trace), nb_setval('$trace',off), '$debug_on'(Debug), @@ -951,7 +952,8 @@ break :- '$set_input'(InpStream), '$set_output'(OutStream), '$debug_on'(Debug), nb_setval('$trace',Trace), - nb_setval('$break',BL). + nb_setval('$break',BL), + nb_setval('$system_mode',SystemMode). '$silent_bootstrap'(F) :- '$init_consult',