kotovalexarian-likes-github/ruby--ruby
1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00
Code Releases Activity

downloader.rb: use File.read instead of IO.read

Browse source 
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@67591 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
This commit is contained in:
nobu 2019-04-17 07:09:28 +00:00
parent 8e6c1a186c
commit 5141398ff0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tool/downloader.rb
View file

@ -82,7 +82,7 @@ class Downloader
index_options = options.dup index_options = options.dup
index_options[:cache_save] = false # TODO: make sure caching really doesn't work for index file 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_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 end
file_base = File.basename(name, '.txt') file_base = File.basename(name, '.txt')
return if file_base == '.' # Use pre-generated headers and tables return if file_base == '.' # Use pre-generated headers and tables