| commit | 37e477216beb70d100a9d4ca670158d33f77cd96 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 29 22:48:43 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 29 22:48:43 2002 +0000 |
| tree | ebe438e7ff3717dbb60532cedf58163eba21486a | |
| parent | 2c9590f62549ded76dbdf096ee106e7b43f004f5 [diff] |
Forward port of 1.12.14.3 (which has an incorrect log message): if SetDates() in touched() returns an error ignore it: the user may not have permission to change the parent folder. This is a non-serious problem, the only function of touched() is to speed up the finder seeing the change.