[Phpmyadmin-devel] gzip of the dump

[Marc Delisle]

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";
                                    }
                                    }