Petr Onderka has submitted this change and it was merged.
Change subject: Another fix for "Don't write empty indexes"
......................................................................
Another fix for "Don't write empty indexes"
Change-Id: Ifdf6c2945d2100957b10c4f7fc0eebef99ec1129
---
M Indexes/IndexInnerNode.tpp
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Petr Onderka: Verified; Looks good to me, approved
diff --git a/Indexes/IndexInnerNode.tpp b/Indexes/IndexInnerNode.tpp
index 3738937..44a72d7 100644
--- a/Indexes/IndexInnerNode.tpp
+++ b/Indexes/IndexInnerNode.tpp
@@ -200,6 +200,8 @@
left->childOffsets.push_back(childOffsets.at(i));
left->cachedChildren.push_back(std::move(cachedChildren.at(i)));
+ left->modified = true;
+
TKey middleKey = keys.at(i);
i++;
@@ -214,6 +216,8 @@
right->childOffsets.push_back(childOffsets.at(i));
right->cachedChildren.push_back(std::move(cachedChildren.at(i)));
+ right->modified = true;
+
return SplitResult(
std::unique_ptr<IndexNode<TKey, TValue>>(left),
std::unique_ptr<IndexNode<TKey, TValue>>(right),
--
To view, visit https://gerrit.wikimedia.org/r/84141
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifdf6c2945d2100957b10c4f7fc0eebef99ec1129
Gerrit-PatchSet: 1
Gerrit-Project: operations/dumps/incremental
Gerrit-Branch: gsoc
Gerrit-Owner: Petr Onderka <[email protected]>
Gerrit-Reviewer: Petr Onderka <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
