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 /scripts | |
| parent | a0a43c32062f756b32feca7d04e89fb5d01767db (diff) | |
* In the garbage collector, if deleting a path fails, try to fix its
ownership, then try again.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions