*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Mon, 28 Oct 2019 01:18:16 +0100
changeset 24870 55257b1ccb31
parent 24869 e114ab5e59a0
child 24871 3667763f2f12
*** empty log message ***
DirectoryStream.st
--- a/DirectoryStream.st	Sun Oct 27 09:26:53 2019 +0100
+++ b/DirectoryStream.st	Mon Oct 28 01:18:16 2019 +0100
@@ -569,7 +569,14 @@
     dirPointer := nil.
 %{
 #ifdef HAS_OPENDIR
-    closedir( (DIR *)(__FILEVal(dp)) );
+    {
+	int ret;
+
+        do {
+	    errno = 0;
+            closedir( (DIR *)(__FILEVal(dp)) );
+        } while ((ret < 0) && (errno == EINTR));
+    }
 #else
 # ifdef __win32__
     FindClose( __HANDLEVal(dp) );