equal
deleted
inserted
replaced
741 if opener.exists(backupjournal): |
741 if opener.exists(backupjournal): |
742 fp = opener.open(backupjournal) |
742 fp = opener.open(backupjournal) |
743 lines = fp.readlines() |
743 lines = fp.readlines() |
744 if lines: |
744 if lines: |
745 ver = lines[0][:-1] |
745 ver = lines[0][:-1] |
746 if ver == (b'%d' % version): |
746 if ver != (b'%d' % version): |
|
747 report(BAD_VERSION_MSG) |
|
748 else: |
747 for line in lines[1:]: |
749 for line in lines[1:]: |
748 if line: |
750 if line: |
749 # Shave off the trailing newline |
751 # Shave off the trailing newline |
750 line = line[:-1] |
752 line = line[:-1] |
751 l, f, b, c = line.split(b'\0') |
753 l, f, b, c = line.split(b'\0') |
752 backupentries.append((l, f, b, bool(c))) |
754 backupentries.append((l, f, b, bool(c))) |
753 else: |
|
754 report(BAD_VERSION_MSG) |
|
755 |
755 |
756 _playback( |
756 _playback( |
757 file, |
757 file, |
758 report, |
758 report, |
759 opener, |
759 opener, |