diff options
Diffstat (limited to 'js/python.js')
| -rw-r--r-- | js/python.js | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/js/python.js b/js/python.js index dd346c4..d16cc72 100644 --- a/js/python.js +++ b/js/python.js @@ -274,8 +274,16 @@ for (i = 0; i < n; i++) { serverHint = serverHints[i]; hintDef = hintDefs[serverHint.id]; + if (serverHint.indices) { + indices = serverHint.indices + for (i = 0; i < indices.length; i++) { + hintDef = hintDef[indices[i]]; + if (!hintDef) + break; + } + } if (!hintDef) { - codeq.log.error('Undefined hint: ' + serverHint.id); + codeq.log.error('Undefined hint ' + serverHint.id + ' with indices ' + serverHint.indices); continue; } t = typeof hintDef; |