equal
deleted
inserted
replaced
867 self.write_err('Traceback (most recent call last):\n', |
867 self.write_err('Traceback (most recent call last):\n', |
868 ''.join(exctb[:-1]), |
868 ''.join(exctb[:-1]), |
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): |
878 '''return editor to use''' |
877 '''return editor to use''' |
879 if sys.platform == 'plan9': |
878 if sys.platform == 'plan9': |