# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1540193950 -7200
# Node ID 3ea22dcbbea66d34cf717fea0f244fd4612b25c2
# Parent  da624a8542430676e1e05d83ccf40d383479413a
FIX: Handle IO errors when restoring timestamps

diff -r da624a854243 -r 3ea22dcbbea6 extensions/timestamps.py
--- a/extensions/timestamps.py	Sun Oct 21 21:05:28 2018 +0200
+++ b/extensions/timestamps.py	Mon Oct 22 09:39:10 2018 +0200
@@ -885,4 +885,7 @@
                     if _DEV:
                         repo.ui.debug("RESTORING TIMESTAMP: " + f + ' -> '
                                       + mtime + '\n')
-                    os.utime(repo.wjoin(f), (time.time(), mt))
+                    try:
+                        os.utime(repo.wjoin(f), (time.time(), mt))
+                    except IOError:
+                        repo.ui.warn(_("cannot set mtime for file: %s") % f)