diff --git a/jerry-debugger/jerry-client-ws.html b/jerry-debugger/jerry-client-ws.html index 01a44b951..d6bb2a541 100644 --- a/jerry-debugger/jerry-client-ws.html +++ b/jerry-debugger/jerry-client-ws.html @@ -891,6 +891,7 @@ function DebuggerClient(address) this.setBreakpoint = function(str) { line = /^(.+):([1-9][0-9]*)$/.exec(str); + var found = false; if (line) { @@ -906,6 +907,7 @@ function DebuggerClient(address) || sourceName.endsWith("\\" + line[1])) { insertBreakpoint(func.lines[line[2]]); + found = true; } } } @@ -918,9 +920,14 @@ function DebuggerClient(address) if (func.name == str) { insertBreakpoint(func.lines[func.firstBreakpointLine]); + found = true; } } } + if (!found) + { + appendLog("Breakpoint not found"); + } } this.sendExceptionConfig = function(enable)