steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Report which file doesn't get deleted on Windows.

db4
Doug Coleman 2011-10-18 00:59:57 -07:00
parent 5771cafcee
commit 5c694767cd
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
basis/io/directories/windows/windows.factor
View File

@ -17,8 +17,11 @@ M: windows touch-file ( path -- )
M: windows move-file ( from to -- ) M: windows move-file ( from to -- )
[ normalize-path ] bi@ MoveFile win32-error=0/f ; [ normalize-path ] bi@ MoveFile win32-error=0/f ;
ERROR: file-delete-failed path error ;
M: windows delete-file ( path -- ) M: windows delete-file ( path -- )
normalize-path DeleteFile win32-error=0/f ; [ normalize-path DeleteFile win32-error=0/f ]
[ \ file-delete-failed boa rethrow ] recover ;
M: windows copy-file ( from to -- ) M: windows copy-file ( from to -- )
dup parent-directory make-directories dup parent-directory make-directories