Armel,
can you look at this patch from the forum:
One thing about the CVS, takes a lot of CPU time to build the download, whether its gzipped or not and i suggest a slight change to the extension code so that files extracted end up with an appropriate extension.
Sorry I can remember how to make a proper patch.
Adam -----
$ext = "sql"; if($what == "csv") $ext = "csv"; if(isset($gzip)) { if($gzip == "gzip") { $ext = "sql.gz"; if($what == "csv") $ext = "csv.gz"; } }