##// END OF EJS Templates
ui: flush stderr after printing a non-chained exception for Windows...
Matt Harbison -
r25568:c1ff82da default
parent child Browse files
Show More
@@ -869,9 +869,8 b' class ui(object):'
869 869 ''.join(causetb),
870 870 ''.join(exconly))
871 871 else:
872 self.flush() # flush debug or status message
873 traceback.print_exception(exc[0], exc[1], exc[2],
874 file=self.ferr)
872 output = traceback.format_exception(exc[0], exc[1], exc[2])
873 self.write_err(''.join(output))
875 874 return self.tracebackflag or force
876 875
877 876 def geteditor(self):
General Comments 0
You need to be logged in to leave comments. Login now