author | Claus Gittinger <cg@exept.de> |
Mon, 28 Oct 2019 01:18:16 +0100 | |
changeset 24870 | 55257b1ccb31 |
parent 24869 | e114ab5e59a0 |
child 24871 | 3667763f2f12 |
--- 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) );