summaryrefslogtreecommitdiff
path: root/src/include/txn.h
diff options
context:
space:
mode:
authorMichael Cahill <michael.cahill@mongodb.com>2016-11-16 21:09:45 +1100
committerMichael Cahill <michael.cahill@mongodb.com>2016-11-16 21:09:45 +1100
commitca6eee06ffdacc8e191987e64b3791740dad21e1 (patch)
tree2ded23c60276ab8daec2a56c11bf20fd64ad9236 /src/include/txn.h
parent85121cf51f39f6959e02d5364bc51d51e48fe15b (diff)
parent1ce36af292fd0317021091a0523376b0533ac3bf (diff)
downloadmongo-ca6eee06ffdacc8e191987e64b3791740dad21e1.tar.gz
Merge branch 'develop' into mongodb-3.4mongodb-3.5.0mongodb-3.4.1mongodb-3.4.0
Diffstat (limited to 'src/include/txn.h')
-rw-r--r--src/include/txn.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/include/txn.h b/src/include/txn.h
index 774f635d7ba..344275e23d0 100644
--- a/src/include/txn.h
+++ b/src/include/txn.h
@@ -49,8 +49,11 @@
WT_ASSERT((s), (s)->txn.forced_iso > 0); \
(s)->txn.forced_iso--; \
WT_ASSERT((s), txn_state->id == saved_state.id && \
+ (txn_state->metadata_pinned == saved_state.metadata_pinned ||\
+ saved_state.metadata_pinned == WT_TXN_NONE) && \
(txn_state->pinned_id == saved_state.pinned_id || \
saved_state.pinned_id == WT_TXN_NONE)); \
+ txn_state->metadata_pinned = saved_state.metadata_pinned; \
txn_state->pinned_id = saved_state.pinned_id; \
} while (0)