1 files changed, 7 insertions, 6 deletions

diff --git a/scripts/driver b/scripts/driver
index 60c8c79e1..999583142 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)