40093367 |
1 | vexport ${aFile} ${format} |
2 | |
3 | if { [file exists ${aFile}] } { |
94a57f1f |
4 | puts "The file has been exported to ${format}." |
40093367 |
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 } { |
94a57f1f |
8 | puts "Error: The file has been exported to ${format}, but the result has a different size ($filesize instead of $size)." |
40093367 |
9 | } |
10 | } else { |
94a57f1f |
11 | puts "Error: Impossible to export file to ${format}." |
40093367 |
12 | } |