JuliaLang/julia — pull request #7417 by stevengj (2014-06-25 21:10:38+00:00)
Title: disable history rather than quitting if an error is encountered when reading the history.

This fixes #7377.