(c)
| 302 | if (opts.echoPosted || opts.landedKeys) { |
| 303 | const byId = new Map(); |
| 304 | const add = (c) => { |
| 305 | const m = /<!--\s*(ocr-\d+-\d+-[a-f0-9]+)\s*-->/.exec(c.body || ""); |
| 306 | const k = m ? m[1] : `${c.path}|${c.start_line != null ? c.start_line : "-"}|${c.line != null ? c.line : "-"}|${c.body}`; |
| 307 | if (!byId.has(k)) byId.set(k, c); |
| 308 | }; |
| 309 | if (opts.echoPosted) { |
| 310 | const posted = batchPostedComments(); |
| 311 | const n = opts.postedCount != null ? opts.postedCount : posted.length; |