Retry renameFile operations on windows (#4605)

sigurdm · web-flow · commit cc427f5161e4 · 2025-06-13T13:01:29.000+02:00
diff --git a/lib/src/io.dart b/lib/src/io.dart
@@ -577,7 +577,9 @@ void copyFile(String from, String to) {
 
 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) {

Original file line number	Diff line number	Diff line change
`@@ -577,7 +577,9 @@ void copyFile(String from, String to) {`
`577`	`577`
`578`	`578`	`void renameFile(String from, String to) {`
`579`	`579`	`log.io('Renaming "$from" to "$to".');`
`580`		`- File(from).renameSync(to);`
	`580`	+ _attempt('Renaming `$from` to `$to`', () {
	`581`	`+ File(from).renameSync(to);`
	`582`	`+ });`
`581`	`583`	`}`
`582`	`584`
`583`	`585`	`bool _isDirectoryNotEmptyException(FileSystemException e) {`