chiark / gitweb /
Merge branch 'exceptions' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 May 2017 20:50:54 +0000 (20:50 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 22 May 2017 20:50:54 +0000 (20:50 +0000)
Replace sys.exit() in non-main functions by exceptions

See merge request !273


Trivial merge