Improve solution of bug #19701

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

diff --git a/src/ChangeLog b/src/ChangeLog
index dc49508973977f0e26cb5d4d3fb5b3865acbc30a..08779405acbec8e662ba7e1f8233e48715d1eb53 100644 (file)
--- 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 2faa742f9d7e09c2b28119d60ff1fcec8ed7a18d..f8284f3e4cca06152b9e97c3defe75f46df198f5 100644 (file)
--- 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;