Index: www/includes/common.inc
===================================================================
--- www/includes/common.inc	(revision 41406)
+++ www/includes/common.inc	(working copy)
@@ -67,7 +67,10 @@
 
     $script = basename($_SERVER['PHP_SELF']);
     
-    $portsdb_connection = mysql_connect($portsdb_host, $portsdb_user, $portsdb_passwd);
+    $portsdb_connection = FALSE;
+    if (function_exists('mysql_connect')) {
+        $portsdb_connection = mysql_connect($portsdb_host, $portsdb_user, $portsdb_passwd);
+    }
     if ($portsdb_connection === FALSE) {
         switch ($script) {
             case "index.php":