changeset 3418:ce5be49f612c

Oops, code, not value.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 May 2007 20:38:04 +0200
parents 850d819ce5dc
children 438fbee7968f
files bin/gub
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Thu May 03 20:31:50 2007 +0200
+++ b/bin/gub	Thu May 03 20:38:04 2007 +0200
@@ -405,7 +405,7 @@
                                     settings.os_interface.log_file_name
                                     + '\n')
     except SystemExit, e:
-        sys.exit (e.value)
+        sys.exit (e.code)
     except BaseException, e:
         if settings.options.verbose < settings.os_interface.level['output']:
             print >>sys.stderr,\