Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set up local profiles observer once #1049

Merged
merged 1 commit into from
Jan 4, 2025
Merged

Conversation

keeshux
Copy link
Member

@keeshux keeshux commented Jan 4, 2025

Beyond being useless, reloading the repository across app active/inactive may spoil notifications and leave the profiles list out of sync.

@keeshux keeshux self-assigned this Jan 4, 2025
@keeshux keeshux added the bug Something isn't working label Jan 4, 2025
@keeshux keeshux added this to the 3.0.0 / 7. Release milestone Jan 4, 2025
@keeshux keeshux merged commit c232fd1 into master Jan 4, 2025
1 check passed
@keeshux keeshux deleted the bugfix/observe-local-once branch January 4, 2025 09:46
keeshux added a commit that referenced this pull request Jan 4, 2025
Partially reverts #1049 by reloading local profiles without,
however, cancelling the subscription.
keeshux added a commit that referenced this pull request Jan 4, 2025
Rather than redoing ProfileManager.observeLocal() altogether:

- Keep the existing profiles subscription (localSubscription)
- Reload ALL local profiles on NE notifications

The reload is "heavy" because each profile save causes a reload of ALL
profiles, but it's the most reliable approach and in the end, it only
takes 1-2msec. It can be improved later.

Partially reverts #1049, because the app did not sync when a VPN
configuration was deleted from the OS settings.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant