@@ -987,11 +987,11 @@ catch { set info [getattr $path] } err if {![info exists info]} { - if {$err == "No such file or directory"} { + if {[string match "No such file or directory*" $err]} { return [list] } else { return -code error $err } }