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)
commit1710428de15b27c2ad54d3c6785c6f3f9cde3422
treecc5ae26c035c09d96d4bcdeb4d700df3725b01e8
parenta8420817cb2bd6bb5dcca9ce06ca63faa2358874
parent1fcd8e63a39f214cd338e3c845e095b9a2a7a8d1
Merge branch 'exceptions' into 'master'

Replace sys.exit() in non-main functions by exceptions

See merge request !273