equal
deleted
inserted
replaced
159 return session_start_pos; |
159 return session_start_pos; |
160 } |
160 } |
161 *size = this->used_size(); |
161 *size = this->used_size(); |
162 assert(this->start_pos() + *size == this->current_pos(), "invariant"); |
162 assert(this->start_pos() + *size == this->current_pos(), "invariant"); |
163 write_checkpoint_header(const_cast<u1*>(this->start_pos()), this->used_offset(), _time, (u4)_type, count()); |
163 write_checkpoint_header(const_cast<u1*>(this->start_pos()), this->used_offset(), _time, (u4)_type, count()); |
164 _header = false; // the header is already written |
164 _header = false; // the header was just written |
165 if (move) { |
165 if (move) { |
166 this->seek(_offset); |
166 this->seek(_offset); |
167 } |
167 } |
168 return this->start_pos(); |
168 return this->start_pos(); |
169 } |
169 } |