Don't download script with no tables

diff --git a/adminer/db.inc.php b/adminer/db.inc.php
index 453e0c2531fc8054a6f985d01d20163abb749988..b433c49fff63b31a5179039dc6d0d640f8a52cf7 100644 (file)
--- a/adminer/db.inc.php
+++ b/adminer/db.inc.php
@@ -154,7 +154,9 @@ if ($_GET["ns"] !== "") {
                echo '<p><a href="' . h(ME) . 'event=">' . lang('Create event') . "</a>\n";
        }
        
-       page_footer();
-       echo "<script type='text/javascript' src='" . h(ME . "script=db&token=$token") . "'></script>\n";
-       exit; // page_footer() already called
+       if ($tables_list) {
+               page_footer();
+               echo "<script type='text/javascript' src='" . h(ME . "script=db&token=$token") . "'></script>\n";
+               exit; // page_footer() already called
+       }
 }