chiark / gitweb /
documentation: properly calculate child offset for 11bit result counts.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 8 Jan 2022 20:51:24 +0000 (21:51 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 8 Jan 2022 22:17:00 +0000 (23:17 +0100)
commit26cc1aeb5bb2e7e08f15b0649bdc4423b1b20761
tree8e83b702ce6d35ceb8f3ccde2549ad7adb7f690b
parentbe19fd5398bdde5c5c8ddfdca0a2a23a5569c9f4
documentation: properly calculate child offset for 11bit result counts.

Instead of fetching the exact same value twice and then forgetting to
patch it in one case, let's just reuse the patched value.

Hmmmm, this was a bug! And no tests caught it! Though, it was rather
unlikely to be hit in practice as the 100+th result would be cut away,
thus not even giving the user a hint to type futther.
documentation/search.js