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

Fix parent-directory on /

release
Slava Pestov 2007-11-12 01:56:40 -05:00
parent a74bf88d9e
commit 6f19e210b3
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
core/io/files/files.factor
View File

@ -66,12 +66,14 @@ TUPLE: no-parent-directory path ;
: parent-directory ( path -- parent ) : parent-directory ( path -- parent )
trim-path-separators trim-path-separators
dup root-directory? [ ] [ dup empty? [ drop "/" ] [
dup last-path-separator drop [ dup root-directory? [ ] [
1+ cut dup last-path-separator drop [
special-directory? 1+ cut
[ no-parent-directory ] when special-directory?
] when* [ no-parent-directory ] when
] when*
] if
] if ; ] if ;
: file-name ( path -- string ) : file-name ( path -- string )