2021-06-14 11:00:05 +01:00
|
|
|
from flask import request, url_for
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def get_page_from_request():
|
2023-08-25 09:12:23 -07:00
|
|
|
if "page" in request.args:
|
2021-06-14 11:00:05 +01:00
|
|
|
try:
|
2023-08-25 09:12:23 -07:00
|
|
|
return int(request.args["page"])
|
2021-06-14 11:00:05 +01:00
|
|
|
except ValueError:
|
|
|
|
|
return None
|
|
|
|
|
else:
|
|
|
|
|
return 1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_previous_dict(view, service_id, page, url_args=None):
|
2023-08-25 09:12:23 -07:00
|
|
|
return generate_previous_next_dict(
|
|
|
|
|
view, service_id, page - 1, "Previous page", url_args or {}
|
|
|
|
|
)
|
2021-06-14 11:00:05 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_next_dict(view, service_id, page, url_args=None):
|
2023-08-25 09:12:23 -07:00
|
|
|
return generate_previous_next_dict(
|
|
|
|
|
view, service_id, page + 1, "Next page", url_args or {}
|
|
|
|
|
)
|
2021-06-14 11:00:05 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_previous_next_dict(view, service_id, page, title, url_args):
|
|
|
|
|
return {
|
2023-08-25 09:12:23 -07:00
|
|
|
"url": url_for(view, service_id=service_id, page=page, **url_args),
|
|
|
|
|
"title": title,
|
|
|
|
|
"label": "page {}".format(page),
|
2021-06-14 11:00:05 +01:00
|
|
|
}
|