| 79 | |
| 80 | #ifdef US_PLATFORM_WINDOWS |
| 81 | bool |
| 82 | not_found_win32_error(int errval) |
| 83 | { |
| 84 | return (errval == ERROR_FILE_NOT_FOUND || errval == ERROR_PATH_NOT_FOUND |
| 85 | || errval == ERROR_INVALID_NAME // "//foo" |
| 86 | || errval == ERROR_INVALID_DRIVE // USB card reader with no card inserted |
| 87 | || errval == ERROR_NOT_READY // CD/DVD drive with no disc inserted |
| 88 | || errval == ERROR_INVALID_PARAMETER // ":sys:stat.h" |
| 89 | || errval == ERROR_BAD_PATHNAME // "//nosuch" on Win64 |
| 90 | || errval == ERROR_BAD_NETPATH); // "//nosuch" on Win32 |
| 91 | } |
| 92 | #endif |
| 93 | |
| 94 | #ifdef US_PLATFORM_WINDOWS |