TheLovinator/discord-rss-bot
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add type hints and other small stuff

Browse source
This commit is contained in:
Joakim Hellsén 2022-12-14 02:16:33 +01:00
commit 3dbe6ba79d
No known key found for this signature in database
GPG key ID: 01FD861E3DAC09AC
8 changed files with 65 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

7
discord_rss_bot/search.py
View file

@ -6,7 +6,9 @@ from reader import EntrySearchResult, Feed, HighlightedString, Reader
from discord_rss_bot.settings import get_reader
def create_html_for_search_results(search_results: Iterable[EntrySearchResult], reader: Reader = None) -> str:
def create_html_for_search_results(
search_results: Iterable[EntrySearchResult], custom_reader: Reader | None = None
) -> str:
"""Create HTML for the search results.
Args:
@ -20,8 +22,7 @@ def create_html_for_search_results(search_results: Iterable[EntrySearchResult],
# TODO: We should also add <span> tags to the title.
# Get the default reader if we didn't get a custom one.
if reader is None:
reader = get_reader()
reader: Reader = get_reader() if custom_reader is None else custom_reader
html: str = ""
for result in search_results: