[go: up one dir, main page]

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.