]> OCCT Git - occt-wok.git/commitdiff
No comments
authorcas <cas@opencascade.com>
Mon, 6 Dec 1999 18:10:05 +0000 (18:10 +0000)
committercas <cas@opencascade.com>
Mon, 6 Dec 1999 18:10:05 +0000 (18:10 +0000)
src/WOKTclTools/WOKTclTools_Replace.tcl

index 45752629463cc1b551e04e4e01800b5bec08e62f..375714ea41b8a4aa9ee228a98ab556f7ab9ecc67 100755 (executable)
@@ -49,12 +49,14 @@ proc WOKTclTools_Replace::Execute { unit args } {
 
        regsub -all "/" " $source $target" $replstr  TheArgs
 
-       set A [catch {eval exec "cmp $TheArgs"} result ]
-
-       if { $result != "" } {
+        if { [file exist $target] } {
+         set A [catch {eval exec "wokcmp $TheArgs"} result ]
+         if { $result != "" } {
            set result 0
-       } else { set result 1 }
-       
+         } else { set result 1 }
+        } else {
+          set result 0 }
+
        if { ! $result } {
            msgprint -i -c "WOKTclTools_Replace::Execute" "Copy $source to $target"
            if { [file exist $target] && [wokparam -e %Station $unit] != "wnt" } {