def flush()

in debug/NicerTrace.py [0:0]


    def flush(self):
        # comment out the next line if you don't want to write to stdout
        self.stdout.flush()
        self.file.flush()