Skip to content

Commit

Permalink
indexes can be bigger now
Browse files Browse the repository at this point in the history
  • Loading branch information
danielrichman committed Jun 13, 2019
1 parent 1e7b85a commit d1c327d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion download.ml
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,7 @@ let get_index ~interrupt fcst_time level_set hour =
let bigstring_to_string b = Bigstring.to_string b (* eliminate optional arguments *) in
throttled_get
(Urls.index_file fcst_time level_set hour)
~range:(`all_with_max_len (32 * 1024))
~range:(`all_with_max_len (128 * 1024))
~interrupt
>>|?| bigstring_to_string
>>|?= Grib_index.parse
Expand Down

0 comments on commit d1c327d

Please sign in to comment.