Adagio Ledger handles that. Failing to write the INI when logging in is not that big a deal, nothing terribly important will get lost (just the last accessed database I think). The alternative would be to prevent anyone from getting into Ledger at all.

Would that have been preferable to you?