Index: ports/gdb/background.js |
diff --git a/ports/gdb/background.js b/ports/gdb/background.js |
index 2728df7bff77cd1209c158481c9bcb2b721dcee8..0764d2308dad512ddf6c8c335f67d05480cee0bc 100644 |
--- a/ports/gdb/background.js |
+++ b/ports/gdb/background.js |
@@ -361,7 +361,7 @@ DebugConnection_.prototype.createGdb_ = function() { |
argv.forEach(function(arg) { |
var argname = 'arg' + argn; |
addParam(argname, arg); |
- argn = argn + 1 |
+ argn = argn + 1; |
}); |
document.body.appendChild(gdb); |