diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/driver | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/scripts/driver b/scripts/driver index 60c8c79e..99958314 100644 --- a/scripts/driver +++ b/scripts/driver @@ -1,19 +1,19 @@ # -*- python -*- -# Copyright (C) 1998,1999,2000,2001,2002 by the Free Software Foundation, Inc. +# Copyright (C) 1998-2003 by the Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License # as published by the Free Software Foundation; either version 2 # of the License, or (at your option) any later version. -# +# # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. -# +# # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software +# along with this program; if not, write to the Free Software # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. # This better succeed. If this fails, Python is royally screwed so we might @@ -90,8 +90,9 @@ def run_main(): sys.stderr = sys.__stderr__ sys.stdout = sys.__stdout__ except SystemExit: - # This is a valid way for the function to exit. - pass + # This is a valid way for the function to exit. Be sure any text + # produced is still written out to the browser. + sys.stdout.write(tempstdout.getvalue()) except: print_traceback(logger) print_environment(logger) |