python: Write configuration file without reassigning sys.stdout.

Using print >>ini_file syntax instead of reassigning sys.stdout
allows the python debugger to be used.

--HG--
extra : convert_revision : 63fc268f2e80f338ad1a7abe54b9e979e2239609

src/python/m5/simulate.py

@@ -45,11 +45,10 @@ def instantiate(root):
     ticks.fixGlobalFrequency()
 
     root.unproxy_all()
-    # ugly temporary hack to get output to config.ini
-    sys.stdout = file(os.path.join(options.outdir, 'config.ini'), 'w')
-    root.print_ini()
-    sys.stdout.close() # close config.ini
-    sys.stdout = sys.__stdout__ # restore to original
+
+    ini_file = file(os.path.join(options.outdir, 'config.ini'), 'w')
+    root.print_ini(ini_file)
+    ini_file.close() # close config.ini
 
     # Initialize the global statistics
     internal.stats.initSimStats()