From 5e4373d100672839fae15dfc4a17cfabd31e3160 Mon Sep 17 00:00:00 2001 From: Steve Alberty Date: Fri, 10 Aug 2001 09:18:46 +0000 Subject: [PATCH] remove bug with no default server --- ChangeLog | 1 + tbl_properties.php3 | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index e5004bad3..a6d4f7438 100755 --- a/ChangeLog +++ b/ChangeLog @@ -8,6 +8,7 @@ $Source$ 2001-08-10 Steve Alberty * defines.inc.php3: improve mysql version query, thanks to Dan Allen + * tbl_properties.php3: remove bug with no default server 2001-08-10 Robin Johnson * Feature 445699, New link "Show PHP information" - Added on main.php3 diff --git a/tbl_properties.php3 b/tbl_properties.php3 index 7bb60ec30..13a266a83 100755 --- a/tbl_properties.php3 +++ b/tbl_properties.php3 @@ -5,8 +5,8 @@ /** * Gets some core libraries and diplays headers */ -require('./lib.inc.php3'); require('./grab_globals.inc.php3'); +require('./lib.inc.php3'); if (!isset($message)) { include('./header.inc.php3'); } else { @@ -18,7 +18,7 @@ unset($sql_query); /** * Selects the db that will be used during this script execution */ -mysql_select_db($db); +mysql_select_db($db) or mysql_die(); /**