disable history rather than quitting if an error is encountered when reading the history (fixes #7377)
Merge pull request #7417 from stevengj/invalid_history

disable history rather than quitting if an error is encountered when reading the history.