Improved exception reporting etc.
#
# Utility functions for Borgend
#
def log_exception(logger, err, detail=None):
err_type=err.__class__.__name__
if detail:
logger.critical('%s:%s "%s"', str(detail), err_type, str(err))
else:
logger.critical('%s "%s"', err_type, str(err))