From 5141398ff060bdaa437418cc35adcbfe0f886cb0 Mon Sep 17 00:00:00 2001 From: nobu Date: Wed, 17 Apr 2019 07:09:28 +0000 Subject: downloader.rb: use File.read instead of IO.read git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@67591 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- tool/downloader.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tool') diff --git a/tool/downloader.rb b/tool/downloader.rb index e884056d47..5c1bcc35fd 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -82,7 +82,7 @@ class Downloader index_options = options.dup index_options[:cache_save] = false # TODO: make sure caching really doesn't work for index file index_file = super(UNICODE_PUBLIC+name_dir_part, "#{name_dir_part}index.html", dir, true, index_options) - INDEX[:index] = IO.read index_file + INDEX[:index] = File.read(index_file) end file_base = File.basename(name, '.txt') return if file_base == '.' # Use pre-generated headers and tables -- cgit v1.2.3