| 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.");
|
|
|