Community
Participate
Working Groups
AbstractRepositoryManager#setRepositoryProperty doesn't explicitly persist the change to the preference file. It relies on the extra save that happens during shutdown to persist the change. We should instead persist the change immediately to avoid losing data in the event of an unsuccessful shutdown.
Fixed in HEAD.