]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: fix exception handling
authorDmitry Selyutin <ghostmansd@gmail.com>
Tue, 5 Sep 2017 20:33:50 +0000 (23:33 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Fri, 8 Sep 2017 14:27:55 +0000 (17:27 +0300)
gnulib-tool.py

index d76901d894eaa93ecebc5933578dd5ffe17ea2c8..f615f162b47e15129d583e1bbe08ee2d3581582e 100755 (executable)
@@ -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)
-