diff options
author | Levente Orban <orbanl@inf.u-szeged.hu> | 2017-03-31 08:34:40 +0200 |
---|---|---|
committer | László Langó <llango.u-szeged@partner.samsung.com> | 2017-03-31 08:34:40 +0200 |
commit | 5525f5241dc043ecc402d1e36ba9365d3c098798 (patch) | |
tree | 3e8ddfc6b1ad39a81f4bc2ab1aeb1a024b035dcc /jerry-debugger | |
parent | 750e0ca9d5ce59288683d9c938e74389806ca2c2 (diff) |
Bug fix for the debugger python client 'quit' command (#1703)
JerryScript-DCO-1.0-Signed-off-by: Levente Orban orbanl@inf.u-szeged.hu
Diffstat (limited to 'jerry-debugger')
-rwxr-xr-x | jerry-debugger/jerry-client-ws.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jerry-debugger/jerry-client-ws.py b/jerry-debugger/jerry-client-ws.py index f6a180cb..76d9bf7c 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 |