##// 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 ''.join(causetb),
869 ''.join(causetb),
870 ''.join(exconly))
870 ''.join(exconly))
871 else:
871 else:
872 self.flush() # flush debug or status message
872 output = traceback.format_exception(exc[0], exc[1], exc[2])
873 traceback.print_exception(exc[0], exc[1], exc[2],
873 self.write_err(''.join(output))
874 file=self.ferr)
875 return self.tracebackflag or force
874 return self.tracebackflag or force
876
875
877 def geteditor(self):
876 def geteditor(self):
General Comments 0
You need to be logged in to leave comments. Login now