inveniosoftware/invenio — pull request #1763 by kasioumis (2014-06-06 13:14:27+00:00)
Title: Websearch: fix record numbering for pagination

* Adds the nb_found argument to print_records allowing for a different
list of records to be printed and number of records found, when we are
only printing a subset of a total number of records found.

(closes #1762)

Signed-off-by: Nikolaos Kasioumis