comparison push_cmd.py @ 171:b77a4caaf77b

push_cmd: do not store files to delete content File content is used to set mime-types and compute deltas. Both are useless for files to delete.
author Patrick Mezard <pmezard@gmail.com>
date Tue, 30 Dec 2008 20:33:58 -0600
parents fdc249cd1a0a
children f244eaee5069
comparison
equal deleted inserted replaced
170:d046bef502d7 171:b77a4caaf77b
203 pos = file.rfind('/') 203 pos = file.rfind('/')
204 if pos >= 0: 204 if pos >= 0:
205 if file[:pos] in deleteddirs: 205 if file[:pos] in deleteddirs:
206 # This file will be removed when its directory is removed 206 # This file will be removed when its directory is removed
207 continue 207 continue
208 base_data = parent.filectx(file).data()
209 action = 'delete' 208 action = 'delete'
210 file_data[file] = base_data, new_data, action 209 file_data[file] = base_data, new_data, action
211 210
212 # Now we are done with files, we can prune deleted directories 211 # Now we are done with files, we can prune deleted directories
213 # against themselves: ignore a/b if a/ is already removed 212 # against themselves: ignore a/b if a/ is already removed