From 5525f5241dc043ecc402d1e36ba9365d3c098798 Mon Sep 17 00:00:00 2001 From: Levente Orban Date: Fri, 31 Mar 2017 08:34:40 +0200 Subject: [PATCH] Bug fix for the debugger python client 'quit' command (#1703) JerryScript-DCO-1.0-Signed-off-by: Levente Orban orbanl@inf.u-szeged.hu --- jerry-debugger/jerry-client-ws.py | 1 + 1 file changed, 1 insertion(+) diff --git a/jerry-debugger/jerry-client-ws.py b/jerry-debugger/jerry-client-ws.py index f6a180cb1..76d9bf7c3 100755 --- a/jerry-debugger/jerry-client-ws.py +++ b/jerry-debugger/jerry-client-ws.py @@ -172,6 +172,7 @@ class DebuggerPrompt(Cmd): def do_quit(self, args): """ Exit JerryScript debugger """ self.do_delete("all") + self.do_exception("0") # disable the exception handler self.exec_command(args, JERRY_DEBUGGER_CONTINUE) self.stop = True self.quit = True