File: end

package info (click to toggle)
oce 0.17.2-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 297,992 kB
  • ctags: 203,291
  • sloc: cpp: 1,176,369; ansic: 67,206; sh: 11,647; tcl: 6,890; cs: 5,221; python: 2,867; java: 1,522; makefile: 338; xml: 292; perl: 37
file content (12 lines) | stat: -rw-r--r-- 465 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
 
vexport ${aFile} ${format}

if { [file exists ${aFile}] } {
    puts "The file has been exported to ${format}."
    set filesize [file size ${aFile}]
# Check if difference of size is more 5%
    if { $filesize < $size && [expr 1.*($size - $filesize)/$size] > 0.05 } {
	puts "Error: The file has been exported to ${format}, but the result has a different size ($filesize instead of $size)."
    }
} else {
    puts "Error: Impossible to export file to ${format}."
}