Skip to content

Instantly share code, notes, and snippets.

@vanzhiganov
Created September 3, 2019 22:36
Show Gist options
  • Save vanzhiganov/9789be31765daef007566a95eb1529c6 to your computer and use it in GitHub Desktop.
Save vanzhiganov/9789be31765daef007566a95eb1529c6 to your computer and use it in GitHub Desktop.
def get_arg_int(name: str, pattern: str, default=None):
value = request.args.get(name)
if not value:
return default
pattern = re.compile(pattern).match(value)
return int(pattern.group(0)) if pattern else None
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment