diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index ee021b7f..508c922f 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -9,6 +9,10 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { global $LANG, $VERSION, $adminer, $drivers, $jush; page_headers(); + if (is_ajax() && $error) { + page_messages($error); + exit; + } $title_all = $title . ($title2 != "" ? ": $title2" : ""); $title_page = strip_tags($title_all . (SERVER != "" && SERVER != "localhost" ? h(" - " . SERVER) : "") . " - " . $adminer->name()); ?> @@ -32,6 +36,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
> @@ -65,6 +70,7 @@ document.body.className = document.body.className.replace(/ nojs/, ' js'); } } echo "" . lang('No rows.') . "\n"; } ?> -