mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 05:53:43 +00:00
0f4673ae3b
Some functions in models.py had input typed as int when they needed to be typed as datetime.datetime
13 lines
448 B
Python
13 lines
448 B
Python
import re
|
|
from typing import Optional, Dict
|
|
|
|
# Warning: If you change this parsing, please test using
|
|
# tools/test_user_agent_parsing.py
|
|
# And extend tools/user_agents_unique with any new test cases
|
|
def parse_user_agent(user_agent):
|
|
# type: (str) -> Optional[Dict[str, str]]
|
|
match = re.match("^(?P<name>[^/ ]*[^0-9/(]*)(/(?P<version>[^/ ]*))?([ /].*)?$", user_agent)
|
|
if match is None:
|
|
return None
|
|
return match.groupdict()
|