inveniosoftware/invenio — pull request #1 by GiorgosPa (2014-02-13 14:33:19+00:00)
Title: errorlib.py: Modified register_exception function

* Do not report KeyboardInterrupt exception
* fixes #1701