if not File.exist?(filename)
puts("ERROR file "+filename+" does not exist!")
end
pos = 0
file = File.new(filename, "r");
until file.eof
if not File.exist?(filename)
puts("ERROR file "+filename+" does not exist!")
end
pos = 0
file = File.new(filename, "r");
until file.eof