Added a method to exit due to an exception outside the user's control