Improve solution of bug #19701

 src/w32.c (sys_readdir): Map ERROR_NOT_READY (as in "device not ready")
 to ENOENT.

2 files changed, 6 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index dc495089739..08779405acb 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2015-01-29  Eli Zaretskii  <eliz@gnu.org>
+
+        * w32.c (sys_readdir): Map ERROR_NOT_READY (as in "device not
+        ready") to ENOENT.
+
 2015-01-28  Eli Zaretskii  <eliz@gnu.org>
 
         * dired.c (directory_files_internal, file_name_completion)
diff --git a/src/w32.c b/src/w32.c
index 2faa742f9d7..f8284f3e4cc 100644
--- a/src/w32.c
+++ b/src/w32.c
@@ -3454,6 +3454,7 @@ sys_readdir (DIR *dirp)
               break;
             case ERROR_PATH_NOT_FOUND:
             case ERROR_INVALID_DRIVE:
+            case ERROR_NOT_READY:
             case ERROR_BAD_NETPATH:
             case ERROR_BAD_NET_NAME:
               errno = ENOENT;