##// END OF EJS Templates
ui: flush stdout before writing traceback to stderr...
Yuya Nishihara -
r25363:3ff4b074 default
parent child Browse files
Show More
@@ -867,6 +867,7 b' class ui(object):'
867 ''.join(causetb),
867 ''.join(causetb),
868 ''.join(exconly))
868 ''.join(exconly))
869 else:
869 else:
870 self.flush() # flush debug or status message
870 traceback.print_exception(exc[0], exc[1], exc[2],
871 traceback.print_exception(exc[0], exc[1], exc[2],
871 file=self.ferr)
872 file=self.ferr)
872 return self.tracebackflag or force
873 return self.tracebackflag or force
General Comments 0
You need to be logged in to leave comments. Login now