diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-07T15·54+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-07T15·54+0000 |
commit | ec23ecc64d40b7f65585c23592db123127967221 (patch) | |
tree | ad52f71354eccf862e1e7350f746d18ca0662a3c /src/nix-worker | |
parent | a0a43c32062f756b32feca7d04e89fb5d01767db (diff) |
* In the garbage collector, if deleting a path fails, try to fix its
ownership, then try again.
Diffstat (limited to 'src/nix-worker')
0 files changed, 0 insertions, 0 deletions