Fixed bug #441571 (Gzipped dumps have wrong extension)
This commit is contained in:
@@ -6,6 +6,10 @@ $Id$
|
|||||||
$Source$
|
$Source$
|
||||||
|
|
||||||
|
|
||||||
|
2001-07-16 Lo<4C>c Chapeaux <lolo@phpheaven.net>
|
||||||
|
* tbl_dump.php3, line 26: fixed bug #441571 (Gzipped dumps have wrong
|
||||||
|
extension).
|
||||||
|
|
||||||
2001-07-16 Steve Alberty <alberty@neptunlabs.de>
|
2001-07-16 Steve Alberty <alberty@neptunlabs.de>
|
||||||
* tbl_changes.php3: make it possible to edit empty binary fields
|
* tbl_changes.php3: make it possible to edit empty binary fields
|
||||||
* tbl_properties.php3: disable nowrap on enum and set <td>'s
|
* tbl_properties.php3: disable nowrap on enum and set <td>'s
|
||||||
|
@@ -23,7 +23,7 @@ else
|
|||||||
include("./lib.inc.php3");
|
include("./lib.inc.php3");
|
||||||
if (isset($bzip) && $bzip == 'bzip') {
|
if (isset($bzip) && $bzip == 'bzip') {
|
||||||
$ext = 'bz2';
|
$ext = 'bz2';
|
||||||
} else if (isset($gzip) && $gzip == 'bzip') {
|
} else if (isset($gzip) && $gzip == 'gzip') {
|
||||||
$ext = 'gz';
|
$ext = 'gz';
|
||||||
} else if ($what == 'csv') {
|
} else if ($what == 'csv') {
|
||||||
$ext = 'csv';
|
$ext = 'csv';
|
||||||
|
Reference in New Issue
Block a user