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

1 files changed, 2 insertions, 2 deletions

diff --git a/src/python/m5/params.py b/src/python/m5/params.py
index 52a927ba3..27bb24bd7 100644
--- a/src/python/m5/params.py
+++ b/src/python/m5/params.py
@@ -176,9 +176,9 @@ class VectorParamValue(list):
         return [v.unproxy(base) for v in self]
 
 class SimObjVector(VectorParamValue):
-    def print_ini(self):
+    def print_ini(self, ini_file):
         for v in self:
-            v.print_ini()
+            v.print_ini(ini_file)
 
 class VectorParamDesc(ParamDesc):
     # Convert assigned value to appropriate type.  If the RHS is not a