I-Al-Istannen 3d4b997d4a Retry crawl_url and work around Python's closure handling ... Closures capture the scope and not the variables. Therefore, any type-narrowing performed by mypy on captured variables is lost inside the closure.		2021-05-23 12:28:15 +02:00
..
__init__.py	Rename the ilias crawler to ilias web crawler	2021-05-19 21:41:17 +02:00
file_templates.py	Move ILIAS file templates to own file	2021-05-19 21:37:10 +02:00
kit_ilias_html.py	Split up ilias crawler in multiple files	2021-05-19 21:34:36 +02:00
kit_ilias_web_crawler.py	Retry crawl_url and work around Python's closure handling	2021-05-23 12:28:15 +02:00