Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[FIX] misc: allow to delete multiple elements from set
`JetSet.deleteMany` only deletes the first element found in the set, instead of deleting all elements. The reason is `wasDeleted ||= super.delete(element);`. It's equivalent to `wasDeleted = wasDeleted || super.delete(element);` and as soon as `wasDeleted` is true (when the first element is deleted) the right-hand part (`|| super.delete(element)`) is no longer executed. I simplified the method by removing the return value. It's never used and this data structure has been removed in future versions anyway. Note that it didn't cause any actual functional bug; only some useless computation in some cases. Task: 4036899 Part-of: #4589 Signed-off-by: Vincent Schippefilt (vsc) <[email protected]>
- Loading branch information