From 16ba1a1c084c075c4ff67377952547d945490edc Mon Sep 17 00:00:00 2001 From: Martin Kronbichler Date: Fri, 13 Sep 2019 09:09:10 +0200 Subject: [PATCH] Change gzip compression level to best_speed --- source/dofs/number_cache.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.39.5