« Previous | Next » 

Revision d2a202ef

IDd2a202effce8975313f5fc92fd5dfbb72bd56034
Parent 56a99279
Child 954b101b

Added by Lucas Di Pentima 6 months ago

11002: Don't save the state and log the stack trace before quitting upon catching an exception. Also, when receiving SIGINT (KeyboardInterrupt), just quit without any logging.
Updated tests to reflect this new behaviour.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences