Improve solution of bug #19701

src/w32.c (sys_readdir): Map ERROR_NOT_READY (as in "device not ready") to ENOENT.
2015-01-29 20:43:08 +02:00
parent 6310530450
commit 989fb32064
2 changed files with 6 additions and 0 deletions
--- 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)
--- 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;