Fix #22: Exit from exception handler when editing the settings file.