equal
deleted
inserted
replaced
240 entry = index[start:start + entrylen] |
240 entry = index[start:start + entrylen] |
241 elif endnode == node: |
241 elif endnode == node: |
242 entry = index[end:end + entrylen] |
242 entry = index[end:end + entrylen] |
243 else: |
243 else: |
244 while start < end - entrylen: |
244 while start < end - entrylen: |
245 mid = start + (end - start) / 2 |
245 mid = start + (end - start) // 2 |
246 mid = int(mid - ((mid - params.indexstart) % entrylen)) |
246 mid = mid - ((mid - params.indexstart) % entrylen) |
247 midnode = index[mid:mid + NODELENGTH] |
247 midnode = index[mid:mid + NODELENGTH] |
248 if midnode == node: |
248 if midnode == node: |
249 entry = index[mid:mid + entrylen] |
249 entry = index[mid:mid + entrylen] |
250 break |
250 break |
251 if node > midnode: |
251 if node > midnode: |