io.files.info: On my Windows7 box, D: is "not really there" and it kills
file-systems. Ignore errors instead of dying.db4
parent
1a91e3a8ff
commit
0bdcf5173f
|
@ -182,10 +182,12 @@ CONSTANT: names-buf-length 16384
|
||||||
[ { } ] [ [ alien>native-string ] map ] if-empty
|
[ { } ] [ [ alien>native-string ] map ] if-empty
|
||||||
] with-destructors ;
|
] with-destructors ;
|
||||||
|
|
||||||
|
! Can error with T{ windows-error f 21 "The device is not ready." }
|
||||||
|
! if there is a D: that is not ready, for instance. Ignore these drives.
|
||||||
M: windows file-systems ( -- array )
|
M: windows file-systems ( -- array )
|
||||||
find-volumes [ volume>paths ] map concat [
|
find-volumes [ volume>paths ] map concat [
|
||||||
(file-system-info)
|
[ (file-system-info) ] [ 2drop f ] recover
|
||||||
] map ;
|
] map sift ;
|
||||||
|
|
||||||
: file-times ( path -- timestamp timestamp timestamp )
|
: file-times ( path -- timestamp timestamp timestamp )
|
||||||
[
|
[
|
||||||
|
|
Loading…
Reference in New Issue