diff options
author | Michael Cahill <michael.cahill@wiredtiger.com> | 2013-10-15 16:31:34 +1100 |
---|---|---|
committer | Michael Cahill <michael.cahill@wiredtiger.com> | 2013-10-15 16:31:34 +1100 |
commit | a0609b034d4776d57ec47b223e7e24319cefdc06 (patch) | |
tree | e146ab341992f1e81f6701b5196862fae85b2a09 /dist/serial.py | |
parent | 98c50e30f65e533a240a2813df2e6fd49a9ba76b (diff) | |
download | mongo-a0609b034d4776d57ec47b223e7e24319cefdc06.tar.gz |
Always set up next pointers before calling insert_serial. Never search inside the serial lock: if the configured insert isn't in the right place, restart the operation.
Follows on from the changes in #718
Diffstat (limited to 'dist/serial.py')
-rw-r--r-- | dist/serial.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dist/serial.py b/dist/serial.py index 3941dbe8302..8a2f01490bd 100644 --- a/dist/serial.py +++ b/dist/serial.py @@ -29,7 +29,6 @@ Serial('insert', [ SerialArg('WT_PAGE *', 'page'), SerialArg('WT_INSERT_HEAD *', 'inshead'), SerialArg('WT_INSERT ***', 'ins_stack'), - SerialArg('WT_INSERT **', 'next_stack'), SerialArg('WT_INSERT *', 'new_ins', 1), SerialArg('u_int', 'skipdepth'), ]), |