| commit | cc427f5161e460a3847598c8627824cad756f868 | [log] [tgz] |
|---|---|---|
| author | Sigurd Meldgaard <sigurdm@google.com> | Fri Jun 13 13:01:29 2025 +0200 |
| committer | GitHub <noreply@github.com> | Fri Jun 13 13:01:29 2025 +0200 |
| tree | f4f86f046db6be385f946ced0748bc69a3153261 | |
| parent | f27dcfdb447ad97fcb0bf7c9cb5c709f9b934acd [diff] |
Retry renameFile operations on windows (#4605)
diff --git a/lib/src/io.dart b/lib/src/io.dart index fd9f646..04e3b05 100644 --- a/lib/src/io.dart +++ b/lib/src/io.dart
@@ -577,7 +577,9 @@ void renameFile(String from, String to) { log.io('Renaming "$from" to "$to".'); - File(from).renameSync(to); + _attempt('Renaming `$from` to `$to`', () { + File(from).renameSync(to); + }); } bool _isDirectoryNotEmptyException(FileSystemException e) {