diff options
Diffstat (limited to 'js/prolog.js')
| -rw-r--r-- | js/prolog.js | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/js/prolog.js b/js/prolog.js index 1d30f7c..90b1b69 100644 --- a/js/prolog.js +++ b/js/prolog.js @@ -322,8 +322,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; |