ruby-changes:55383
From: nobu <ko1@a...>
Date: Wed, 17 Apr 2019 16:09:31 +0900 (JST)
Subject: [ruby-changes:55383] nobu:r67591 (trunk): downloader.rb: use File.read instead of IO.read
nobu 2019-04-17 16:09:28 +0900 (Wed, 17 Apr 2019) New Revision: 67591 https://svn.ruby-lang.org/cgi-bin/viewvc.cgi?view=revision&revision=67591 Log: downloader.rb: use File.read instead of IO.read Modified files: trunk/tool/downloader.rb Index: tool/downloader.rb =================================================================== --- tool/downloader.rb (revision 67590) +++ tool/downloader.rb (revision 67591) @@ -82,7 +82,7 @@ class Downloader https://github.com/ruby/ruby/blob/trunk/tool/downloader.rb#L82 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 -- ML: ruby-changes@q... Info: http://www.atdot.net/~ko1/quickml/