Index: sdk/lib/_internal/pub/lib/src/io.dart |
diff --git a/sdk/lib/_internal/pub/lib/src/io.dart b/sdk/lib/_internal/pub/lib/src/io.dart |
index e9d803b3e2911bac1c09b3cfe2f85237a05ce53a..8b6c7fdd760595beba2ed3da4515ef87281aa391 100644 |
--- a/sdk/lib/_internal/pub/lib/src/io.dart |
+++ b/sdk/lib/_internal/pub/lib/src/io.dart |
@@ -217,7 +217,7 @@ String ensureDir(String dirPath) { |
try { |
createDir(dirPath); |
- } on DirectoryIOException catch (ex) { |
+ } on DirectoryException catch (ex) { |
// Error 17 means the directory already exists (or 183 on Windows). |
if (ex.osError.errorCode == 17 || ex.osError.errorCode == 183) { |
log.fine("Got 'already exists' error when creating directory."); |