]> git.joonet.de Git - adminer.git/commitdiff
Save bytes
authorJakub Vrana <jakub@vrana.cz>
Sat, 30 Oct 2010 07:21:42 +0000 (09:21 +0200)
committerJakub Vrana <jakub@vrana.cz>
Sat, 30 Oct 2010 07:21:42 +0000 (09:21 +0200)
adminer/select.inc.php

index 433879354364ac328a790638dd53b732c81ab11e..e74804a44d185e9ae61585227b50a4d7b37ca1b1 100644 (file)
@@ -45,7 +45,7 @@ if ($_POST && !$error) {
        if ($_POST["export"]) {
                $adminer->dumpHeaders($TABLE);
                $adminer->dumpTable($TABLE, "");
-               if (ereg("csv|tsv", $_POST["format"])) {
+               if (ereg("[ct]sv", $_POST["format"])) { // CSV or TSV
                        $row = array_keys($fields);
                        if ($select) {
                                $row = array();