--- settings.php	2005-12-09 15:17:00.000000000 -0500
+++ settings_new.php	2005-12-09 15:26:40.000000000 -0500
@@ -82,6 +82,16 @@
  *   $db_url = 'mysql://username:password@localhost/databasename';
  *   $db_url = 'mysqli://username:password@localhost/databasename';
  *   $db_url = 'pgsql://username:password@localhost/databasename';
+ *
+ * Specifying the database port:
+ *
+ * If you need to specify a port other than the default for your database
+ * you can put it in the $db_url:
+ * e.g:
+ *   $db_url = 'mysql://username:password@localhost:3306/databasename';
+ *   $db_url = 'mysqli://username:password@localhost:3306/databasename';
+ *   $db_url = 'pgsql://username:password@localhost:5432/databasename';
+ *
  */
 $db_url = 'mysql://username:password@localhost/databasename';
 $db_prefix = '';