Diff

Differences From Artifact [15b349e52e]:

To Artifact [7a8ee07ff7]:


985
986
987
988
989
990
991
992
993
994
995
996
997
998
999

	proc exists {path} {
		catch {
			set info [getattr $path]
		} err

		if {![info exists info]} {
			if {$err == "No such file or directory"} {
				return [list]
			} else {
				return -code error $err
			}
		}

		return $info







|







985
986
987
988
989
990
991
992
993
994
995
996
997
998
999

	proc exists {path} {
		catch {
			set info [getattr $path]
		} err

		if {![info exists info]} {
			if {[string match "No such file or directory*" $err]} {
				return [list]
			} else {
				return -code error $err
			}
		}

		return $info