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 55827c1f63cb207b5ad642d943f2d3072687a3a6..b4f6d919b01131f4e8f233ea2fa909963f73f649 100644 |
--- a/sdk/lib/_internal/pub/lib/src/io.dart |
+++ b/sdk/lib/_internal/pub/lib/src/io.dart |
@@ -216,7 +216,7 @@ String ensureDir(String dirPath) { |
try { |
createDir(dirPath); |
- } on DirectoryException catch (ex) { |
+ } on FileSystemException 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."); |