GLab/ToMaTo — pull request #845 by t-gerhard (2014-11-11 13:35:35+00:00)
Title: Errordump error

Closes #840

it is now possible to raise errors that are not dumped. Do this by calling the Error constructor or the check function with the argument dump=False. This has to be declared explicitly, the default is to dump an error.