Richard van der Hoff 9255a6cb17 Improve exception handling for background processes ... There were a bunch of places where we fire off a process to happen in the background, but don't have any exception handling on it - instead relying on the unhandled error being logged when the relevent deferred gets garbage-collected. This is unsatisfactory for a number of reasons: - logging on garbage collection is best-effort and may happen some time after the error, if at all - it can be hard to figure out where the error actually happened. - it is logged as a scary CRITICAL error which (a) I always forget to grep for and (b) it's not really CRITICAL if a background process we don't care about fails. So this is an attempt to add exception handling to everything we fire off into the background.		2018-04-27 11:07:40 +01:00
..
__init__.py	Initial group server implementation	2017-07-10 15:44:15 +01:00
attestations.py	Improve exception handling for background processes	2018-04-27 11:07:40 +01:00
groups_server.py	de-lint, quote consistency	2018-04-06 16:02:06 +01:00