e24cf1d4f1
As response headers' keys are case-insensitive and requests does the aggregation magic. [1] http://docs.python-requests.org/en/master/user/quickstart/#response-headers
14 lines
471 B
Python
14 lines
471 B
Python
# Copyright (C) 2018 the Software Heritage developers
|
|
# License: GNU General Public License version 3, or any later version
|
|
# See top-level LICENSE file for more information
|
|
|
|
|
|
def split_range(total_pages, nb_pages):
|
|
prev_index = None
|
|
for index in range(0, total_pages, nb_pages):
|
|
if index is not None and prev_index is not None:
|
|
yield prev_index, index
|
|
prev_index = index
|
|
|
|
if index != total_pages:
|
|
yield index, total_pages
|