10 Jul
2001
10 Jul
'01
4:10 a.m.
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";
}
}