pull/18/head
Joel Schaerer 15 years ago
parent ff5c978079
commit d4eae3ef98

@ -92,7 +92,7 @@ else:
break
else: uniqadd(results,path)
if completion:
for p in results: print p
print " ".join(results)
cPickle.dump(path_dict,open(dic_file+".tmp",'w'),-1)
import shutil
shutil.copy(dic_file+".tmp",dic_file) #cPickle.dump doesn't seem to be atomic, so this is more secure

Loading…
Cancel
Save