remove bug with no default server

ChangeLog

@@ -8,6 +8,7 @@ $Source$
 2001-08-10  Steve Alberty  <alberty@neptunlabs.de>
 	* 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  <robbat2@orbis-terrarum.net>
 	* Feature 445699, New link "Show PHP information" - Added on main.php3

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();
 
 
 /**