[DiscordArchive] <@456226577798135808> still here?
[DiscordArchive] <@456226577798135808> still here?
Archived author: Skarn • Posted: 2018-11-07T21:36:17.441000+00:00
Original source
<@456226577798135808> still here?
Archived author: Deleted User • Posted: 2018-11-07T21:38:58.147000+00:00
Original source
For 2-3 minutes
Archived author: Skarn • Posted: 2018-11-07T21:39:45.154000+00:00
Original source
<@456226577798135808> do you remember how copy table records are handled? are they present in real records, to say in id list
Archived author: Deleted User • Posted: 2018-11-07T21:41:44.759000+00:00
Original source
I don’t think so
Archived author: Deleted User • Posted: 2018-11-07T21:41:50.169000+00:00
Original source
It’s just a list of pairs
Archived author: Skarn • Posted: 2018-11-07T21:42:08.551000+00:00
Original source
```py
for _id in self.id_list:
# handle duplicate entries
if self.header.copy_table_size > 0:
copy_id = self.copy_table.get(_id)
if copy_id is not None:
record = records[copy_id]
records[_id] = record
continue
# read record
```
Archived author: Skarn • Posted: 2018-11-07T21:42:12.505000+00:00
Original source
I wrote this code
Archived author: Skarn • Posted: 2018-11-07T21:42:23.486000+00:00
Original source
assume they are in ID list
Archived author: Skarn • Posted: 2018-11-07T21:42:28.540000+00:00
Original source
are they just coming after all other IDs?
Archived author: Skarn • Posted: 2018-11-07T21:42:33.347000+00:00
Original source
Or the order does not really matter?