Commit | Line | Data |
---|---|---|
40093367 | 1 | vexport ${aFile} ${format} |
2 | ||
3 | if { [file exists ${aFile}] } { | |
4 | puts "Export to ${format} file was done." | |
5 | set filesize [file size ${aFile}] | |
6 | # Check if difference of size is more 5% | |
7 | if { $filesize < $size && [expr 1.*($size - $filesize)/$size] > 0.05 } { | |
8 | puts "Error: Export to ${format} file was done but file has a different size ($filesize instead of $size)." | |
9 | } | |
10 | } else { | |
11 | puts " Faulty: Export to${format} file was not done." | |
12 | } |