flock() the file edited in edit-sources
authorMichael Vogt <mvo@debian.org>
Mon, 6 Jan 2014 07:12:28 +0000 (08:12 +0100)
committerMichael Vogt <mvo@debian.org>
Mon, 6 Jan 2014 07:12:28 +0000 (08:12 +0100)
commitc189f87d57844a13619ec387916f49aba171c1b3
tree350522c67a1657c609073fff9d5521d4c3cb05ed
parent74d4bb26e09146b9d5f01889a676dc58ff5d63cd
flock() the file edited in edit-sources
apt-private/private-sources.cc