From d1a39ef33b35518f297675f2fec41b7efad0d58c Mon Sep 17 00:00:00 2001 From: Dmitry Selyutin Date: Tue, 5 Sep 2017 23:33:50 +0300 Subject: [PATCH] gnulib-tool.py: fix exception handling --- gnulib-tool.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gnulib-tool.py b/gnulib-tool.py index d76901d894..f615f162b4 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -939,9 +939,7 @@ def main(): if __name__ == '__main__': try: # Try to execute main() - except: - raise - except BaseException as error: + except classes.GLError as error: errmode = 0 # gnulib-style errors errno = error.errno errinfo = error.errinfo @@ -1003,4 +1001,3 @@ if __name__ == '__main__': message += '\n%s: *** Exit.\n' % constants.APP['name'] sys.stderr.write(message) sys.exit(1) - -- 2.39.5