From: Martin Kronbichler Date: Fri, 13 Sep 2019 07:09:10 +0000 (+0200) Subject: Change gzip compression level to best_speed X-Git-Tag: v9.2.0-rc1~1111^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=16ba1a1c084c075c4ff67377952547d945490edc;p=dealii.git Change gzip compression level to best_speed --- diff --git a/source/dofs/number_cache.cc b/source/dofs/number_cache.cc index 5d5aa0125e..42e97076df 100644 --- a/source/dofs/number_cache.cc +++ b/source/dofs/number_cache.cc @@ -153,7 +153,7 @@ namespace internal boost::iostreams::filtering_ostream out; out.push(boost::iostreams::gzip_compressor( boost::iostreams::gzip_params( - boost::iostreams::gzip::best_compression))); + boost::iostreams::gzip::best_speed))); out.push(boost::iostreams::back_inserter(my_data)); boost::archive::binary_oarchive archive(out);