1391067c332600b9273d47221f2b27d4b1895414,brian2/utils/debugging.py,std_silent,__exit__,#std_silent#Any#Any#Any#,43

Before Change

            self.old_stdout.write(self.newout.getvalue())
            self.old_stderr.write(self.newerr.getvalue())
            self.old_stdout.flush()
            self.old_stderr.flush()
        RedirectStdStreams.__exit__(self, exc_type, exc_value, traceback)
        

After Change

            std_silent.dest_stderr.flush()
            if exc_type is not None:
                out = open(std_silent.dest_fname_stdout, "r").read()
                err = open(std_silent.dest_fname_stderr, "r").read()
            os.dup2(self.orig_out_fd, 1)
            os.dup2(self.orig_err_fd, 2)
            os.close(self.orig_out_fd)
            os.close(self.orig_err_fd)
            if exc_type is not None:
                sys.stdout.write(out)
                sys.stderr.write(err)
        

Instances