Helpviewer/History/HistoryManager.py

changeset 2084
d3f083dd0222
parent 1853
01812b281a1e
child 2095
5bf2d8a73173
equal deleted inserted replaced
2083:3005ae4463aa 2084:d3f083dd0222
387 while not stream.atEnd(): 387 while not stream.atEnd():
388 ver = stream.readUInt32() 388 ver = stream.readUInt32()
389 if ver != HISTORY_VERSION: 389 if ver != HISTORY_VERSION:
390 continue 390 continue
391 itm = HistoryEntry() 391 itm = HistoryEntry()
392 itm.url = stream.readString().decode() 392 itm.url = Utilities.readStringFromStream(stream)
393 stream >> itm.dateTime 393 stream >> itm.dateTime
394 itm.title = stream.readString().decode() 394 itm.title = Utilities.readStringFromStream(stream)
395 395
396 if not itm.dateTime.isValid(): 396 if not itm.dateTime.isValid():
397 continue 397 continue
398 398
399 if itm == lastInsertedItem: 399 if itm == lastInsertedItem:

eric ide

mercurial