ferd/erlang-history — pull request #7 by jan--f (2013-09-03 12:51:25+00:00)
Title: Helping with broken DETS files.

Apparently something is broken with dets and erlang R16B01. When erlang-history
tries to open the dets file endless {bad_object_header, FileName} are produced.

This commit tries to make the shell usable again without fixing the error. A
warning is issued and infinite crashing is avoided.