Wladimir J. van der Laan 44235713ed Replace PrintException with PrintExceptionContinue + throw
Just a pet peeve.

(PrintException has exactly the same body as PrintExceptionContinue but
does a re-throw at the end. Move these re-throws to the call
site, this aids understanding what is going on as well as eliminates a
bit of code duplication in util.cpp)
2014-02-26 13:23:52 +01:00
..
2014-02-19 09:04:09 +01:00
2014-02-25 16:25:52 +01:00
2014-01-23 16:05:01 +01:00
2014-02-16 22:05:24 +01:00