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

Ignore port updates on removed nodes #10950

Merged
merged 1 commit into from
Sep 2, 2024

Conversation

vitvakatu
Copy link
Contributor

@vitvakatu vitvakatu commented Sep 2, 2024

Pull Request Description

Fixes #10888, Fixes #10925

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    TypeScript,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • Unit tests have been written where possible.

@vitvakatu vitvakatu added CI: No changelog needed Do not require a changelog entry for this PR. --bug Type: bug -gui labels Sep 2, 2024
@vitvakatu vitvakatu self-assigned this Sep 2, 2024
@@ -312,16 +312,24 @@ export const { injectFn: useGraphStore, provideFn: provideGraphStore } = createC

function deleteNodes(ids: Iterable<NodeId>) {
edit((edit) => {
const deletedNodes = new Set()
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should collect all ids ahead of the main loop avoid modifying nodes that we are about to delete as well.

@jdunkerley jdunkerley added the CI: Ready to merge This PR is eligible for automatic merge label Sep 2, 2024
@mergify mergify bot merged commit 3442a3a into develop Sep 2, 2024
40 checks passed
@mergify mergify bot deleted the wip/vitvakatu/fix-node-deleting branch September 2, 2024 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
--bug Type: bug -gui CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Deleting Multiple Nodes only works if nodes selected in right order Intermittent deletion failures
3 participants