History.log deleted if full?
Please correct me if I'm wrong here:
It's the second time that my history.log seems to be empty all of the sudden. I suspect that the history_size was exceeded so the history was deleted?
I would rather suggest that the oldest entries are deleted instead of dropping all.