DirectoryStream.st
changeset 24870 55257b1ccb31
parent 24542 42a4a73c50fb
child 25352 4b3e54307e32
equal deleted inserted replaced
24869:e114ab5e59a0 24870:55257b1ccb31
   567 	^ self errorNotOpen.
   567 	^ self errorNotOpen.
   568     ].
   568     ].
   569     dirPointer := nil.
   569     dirPointer := nil.
   570 %{
   570 %{
   571 #ifdef HAS_OPENDIR
   571 #ifdef HAS_OPENDIR
   572     closedir( (DIR *)(__FILEVal(dp)) );
   572     {
       
   573 	int ret;
       
   574 
       
   575         do {
       
   576 	    errno = 0;
       
   577             closedir( (DIR *)(__FILEVal(dp)) );
       
   578         } while ((ret < 0) && (errno == EINTR));
       
   579     }
   573 #else
   580 #else
   574 # ifdef __win32__
   581 # ifdef __win32__
   575     FindClose( __HANDLEVal(dp) );
   582     FindClose( __HANDLEVal(dp) );
   576 # endif
   583 # endif
   577 #endif
   584 #endif