diff --git a/jerry-debugger/jerry-client-ws.html b/jerry-debugger/jerry-client-ws.html index 01a44b9517..d6bb2a541b 100644 --- a/jerry-debugger/jerry-client-ws.html +++ b/jerry-debugger/jerry-client-ws.html @@ -891,6 +891,7 @@

JerryScript HTML (WebSocket) Debugger Client

this.setBreakpoint = function(str) { line = /^(.+):([1-9][0-9]*)$/.exec(str); + var found = false; if (line) { @@ -906,6 +907,7 @@

JerryScript HTML (WebSocket) Debugger Client

|| sourceName.endsWith("\\" + line[1])) { insertBreakpoint(func.lines[line[2]]); + found = true; } } } @@ -918,9 +920,14 @@

JerryScript HTML (WebSocket) Debugger Client

if (func.name == str) { insertBreakpoint(func.lines[func.firstBreakpointLine]); + found = true; } } } + if (!found) + { + appendLog("Breakpoint not found"); + } } this.sendExceptionConfig = function(enable)