W32: Also consider ERROR_INVALID_HANDLE when checking 'file' type

diff --git a/src/util/disk.c b/src/util/disk.c
index 25a01aba6c14f99d9e05b86c771f702b82094247..c5a1b82c7f9bf934a5fa8e941491f8e5d4c55baa 100644 (file)
--- a/src/util/disk.c
+++ b/src/util/disk.c
@@ -1912,7 +1912,7 @@ GNUNET_DISK_get_handle_from_w32_handle (HANDLE osfh)
     ftype = GNUNET_DISK_HANLDE_TYPE_PIPE;
     break;
   case FILE_TYPE_UNKNOWN:
-    if (GetLastError () == NO_ERROR)
+    if (GetLastError () == NO_ERROR || GetLastError () == ERROR_INVALID_HANDLE)
     {
       if (0 != ResetEvent (osfh))
         ftype = GNUNET_DISK_HANLDE_TYPE_EVENT;