equal
deleted
inserted
replaced
865 self.write_err('Traceback (most recent call last):\n', |
865 self.write_err('Traceback (most recent call last):\n', |
866 ''.join(exctb[:-1]), |
866 ''.join(exctb[:-1]), |
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 |
873 |
874 |
874 def geteditor(self): |
875 def geteditor(self): |