##// END OF EJS Templates
ui: extract buffer write from protect and timed 'write_err' output...
Pierre-Yves David -
r31092:cb759f7f default
parent child Browse files
Show More
@@ -822,9 +822,9 b' class ui(object):'
822
822
823 def write_err(self, *args, **opts):
823 def write_err(self, *args, **opts):
824 self._progclear()
824 self._progclear()
825 if self._bufferstates and self._bufferstates[-1][0]:
826 return self.write(*args, **opts)
825 try:
827 try:
826 if self._bufferstates and self._bufferstates[-1][0]:
827 return self.write(*args, **opts)
828 with self.timeblockedsection('stdio'):
828 with self.timeblockedsection('stdio'):
829 if not getattr(self.fout, 'closed', False):
829 if not getattr(self.fout, 'closed', False):
830 self.fout.flush()
830 self.fout.flush()
General Comments 0
You need to be logged in to leave comments. Login now