From a643ac0eeff461b32bb14c9f7431331c639b458b Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Fri, 19 Jun 2009 05:04:15 +0000
Subject: [PATCH] Display server in title (thanks to Marek Smolik)

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@720 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 adminer/include/design.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 1a1b20b2..cf4083ce 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta http-equiv="Content-Script-Type" content="text/javascript" />
 <meta name="robots" content="noindex" />
-<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('Adminer'); ?></title>
+<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . (strlen($_GET["server"]) ? htmlspecialchars("- $_GET[server]") : "") . " - " . lang('Adminer'); ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css<?php // Ondrej Valka, http://valka.info ?>" />
 <?php if (file_exists("adminer.css")) { ?>