Diff

Differences From Artifact [15b349e52e]:

To Artifact [7a8ee07ff7]:


   985    985   
   986    986   	proc exists {path} {
   987    987   		catch {
   988    988   			set info [getattr $path]
   989    989   		} err
   990    990   
   991    991   		if {![info exists info]} {
   992         -			if {$err == "No such file or directory"} {
          992  +			if {[string match "No such file or directory*" $err]} {
   993    993   				return [list]
   994    994   			} else {
   995    995   				return -code error $err
   996    996   			}
   997    997   		}
   998    998   
   999    999   		return $info