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

Prevent changing map data if cluster is still rendering #439

Merged
merged 1 commit into from
Dec 3, 2024

Conversation

wazolab
Copy link
Member

@wazolab wazolab commented Dec 2, 2024

No description provided.

@wazolab wazolab added the bug Something isn't working label Dec 2, 2024
@wazolab wazolab added this to the v1.24 milestone Dec 2, 2024
@wazolab wazolab requested a review from frodrigo December 2, 2024 16:15
@wazolab wazolab self-assigned this Dec 2, 2024
@wazolab wazolab linked an issue Dec 2, 2024 that may be closed by this pull request
@frodrigo
Copy link
Member

frodrigo commented Dec 2, 2024

If you skip the new data setup, the map be out of synch, no?

@wazolab wazolab force-pushed the 438-no-cluster-with-the-specified-id branch from 4cbb8ea to 4872e6a Compare December 3, 2024 22:39
@wazolab wazolab force-pushed the 438-no-cluster-with-the-specified-id branch from 4872e6a to 018536f Compare December 3, 2024 23:51
@wazolab wazolab merged commit ec27a67 into develop Dec 3, 2024
4 checks passed
wazolab added a commit that referenced this pull request Dec 3, 2024
@wazolab wazolab deleted the 438-no-cluster-with-the-specified-id branch December 3, 2024 23:57
@wazolab wazolab removed this from the v1.24 milestone Dec 4, 2024
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
None yet
Development

Successfully merging this pull request may close these issues.

No cluster with the specified id
2 participants