Index: sdk/lib/_internal/pub_generated/lib/src/io.dart |
diff --git a/sdk/lib/_internal/pub_generated/lib/src/io.dart b/sdk/lib/_internal/pub_generated/lib/src/io.dart |
index 8595415fb459d34a6a00a09ace02be23a2b15b97..16682ddf0c97269962928b29138f1cb514267887 100644 |
--- a/sdk/lib/_internal/pub_generated/lib/src/io.dart |
+++ b/sdk/lib/_internal/pub_generated/lib/src/io.dart |
@@ -391,6 +391,17 @@ void deleteEntry(String path) { |
}); |
} |
+/// Attempts to delete whatever's at [path], but doesn't throw an exception if |
+/// the deletion fails. |
+void tryDeleteEntry(String path) { |
+ try { |
+ deleteEntry(path); |
+ } catch (error, stackTrace) { |
+ log.fine( |
+ "Failed to delete $entry: $error\n" "${new Chain.forTrace(stackTrace)}"); |
+ } |
+} |
+ |
/// "Cleans" [dir]. |
/// |
/// If that directory already exists, it is deleted. Then a new empty directory |