Joscha eb8b915813 Fix path prefix on windows ... Previously, the path prefix was only set if "windows_paths" was true, regardless of OS. Now the path prefix is always set on windows and never set on other OSes.		2021-05-25 14:23:38 +02:00
..
ilias	Use cl/dl deduplication mechanism for ILIAS crawler	2021-05-25 12:15:38 +02:00
__init__.py	Restructure crawling and auth related modules	2021-05-23 19:16:42 +02:00
crawler.py	Fix path prefix on windows	2021-05-25 14:23:38 +02:00
http_crawler.py	Do not set a timeout for whole HTTP request	2021-05-24 18:54:26 +02:00
local_crawler.py	Deduplicate path names in crawler	2021-05-25 12:11:15 +02:00