equal
deleted
inserted
replaced
43 mark = None |
43 mark = None |
44 if os.path.exists(repo.join('bookmarks.current')): |
44 if os.path.exists(repo.join('bookmarks.current')): |
45 file = repo.opener('bookmarks.current') |
45 file = repo.opener('bookmarks.current') |
46 # No readline() in posixfile_nt, reading everything is cheap |
46 # No readline() in posixfile_nt, reading everything is cheap |
47 mark = encoding.tolocal((file.readlines() or [''])[0]) |
47 mark = encoding.tolocal((file.readlines() or [''])[0]) |
48 if mark == '': |
48 if mark == '' or mark not in repo._bookmarks: |
49 mark = None |
49 mark = None |
50 file.close() |
50 file.close() |
51 return mark |
51 return mark |
52 |
52 |
53 def write(repo): |
53 def write(repo): |