in debug/NicerTrace.py [0:0]
def __init__(self, filename): self.stdout = sys.stdout self.file = open(filename, "a")