diff options
Diffstat (limited to 'tool')
| -rw-r--r-- | tool/downloader.rb | 2 |
1 files changed, 1 insertions, 1 deletions
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 |