Disable AJAX export

diff --git a/adminer/select.inc.php b/adminer/select.inc.php
index 2e5c9feb319ec381ea6c555a8ab0d590a2057268..099389503010ad154a612fab628f695735360e2b 100644 (file)
--- a/adminer/select.inc.php
+++ b/adminer/select.inc.php
@@ -405,7 +405,7 @@ if (!$columns) {
                        print_fieldset("export", lang('Export'));
                        $output = $adminer->dumpOutput();
                        echo ($output ? html_select("output", $output, $adminer_export["output"]) . " " : "") . html_select("format", $adminer->dumpFormat(), $adminer_export["format"]);
-                       echo " <input type='submit' name='export' value='" . lang('Export') . "'>\n";
+                       echo " <input type='submit' name='export' value='" . lang('Export') . "' onclick='eventStop(event);'>\n";
                        echo "</div></fieldset>\n";
                }
                print_fieldset("import", lang('CSV Import'), !$rows);