Unrud ed3708db22 Don't read cache entry twice with exclusive access		2017-08-01 17:16:58 +02:00
..
tests	Test missing UIDs	2017-07-27 19:08:11 +02:00
web	Web interface: Delete empty properties	2017-07-22 23:32:26 +02:00
__init__.py	Use ExitStack instead of suppress as dummy context manager	2017-08-01 17:14:26 +02:00
__main__.py	Shut down server on SIGINT on Windows	2017-07-30 11:27:08 +02:00
auth.py	Allow additional config options for external plugins	2017-06-21 09:54:33 +02:00
config.py	Allow additional config options for external plugins	2017-06-21 09:54:33 +02:00
log.py	fail when logging config file is not found	2017-06-02 12:43:03 +02:00
rights.py	Allow additional config options for external plugins	2017-06-21 09:54:33 +02:00
storage.py	Don't read cache entry twice with exclusive access	2017-08-01 17:16:58 +02:00
web.py	Change HTTP response 303 to 302	2017-07-01 04:20:13 +02:00
xmlutils.py	Check collection properties	2017-07-22 23:32:26 +02:00