##// END OF EJS Templates
manifest: use "\0" instead of "\000"...
Martin Geisler -
r14632:4819241e default
parent child Browse files
Show More
@@ -142,7 +142,7 b' class manifest(revlog.revlog):'
142 # if this is changed to support newlines in filenames,
142 # if this is changed to support newlines in filenames,
143 # be sure to check the templates/ dir again (especially *-raw.tmpl)
143 # be sure to check the templates/ dir again (especially *-raw.tmpl)
144 hex, flags = revlog.hex, map.flags
144 hex, flags = revlog.hex, map.flags
145 text = ''.join("%s\000%s%s\n" % (f, hex(map[f]), flags(f))
145 text = ''.join("%s\0%s%s\n" % (f, hex(map[f]), flags(f))
146 for f in files)
146 for f in files)
147 arraytext = array.array('c', text)
147 arraytext = array.array('c', text)
148 cachedelta = None
148 cachedelta = None
@@ -172,7 +172,7 b' class manifest(revlog.revlog):'
172 # bs will either be the index of the item or the insert point
172 # bs will either be the index of the item or the insert point
173 start, end = self._search(addbuf, f, start)
173 start, end = self._search(addbuf, f, start)
174 if not todelete:
174 if not todelete:
175 l = "%s\000%s%s\n" % (f, revlog.hex(map[f]), map.flags(f))
175 l = "%s\0%s%s\n" % (f, revlog.hex(map[f]), map.flags(f))
176 else:
176 else:
177 if start == end:
177 if start == end:
178 # item we want to delete was not found, error out
178 # item we want to delete was not found, error out
General Comments 0
You need to be logged in to leave comments. Login now