diff --git a/Tools/PyUtils/python/PoolFile.py b/Tools/PyUtils/python/PoolFile.py index c885c2e311cf75587458551b2210719a813ceeba..a68044bc9d9fbc167784696d1a18b965085e58f0 100644 --- a/Tools/PyUtils/python/PoolFile.py +++ b/Tools/PyUtils/python/PoolFile.py @@ -855,13 +855,13 @@ class PoolFile(object): print("is meaningless...") return - def detailedDump(self, bufferName = sys.stdout.name ): + def detailedDump(self, bufferName = None ): if self.poolFile is None or \ self.keys is None: print("Can't perform a detailedDump with a shelve file as input !") return - if bufferName == sys.stdout.name: + if bufferName is None: bufferName = "/dev/stdout" out = open( bufferName, "w" ) sys.stdout.flush()