Index: cdash/config.php
===================================================================
--- cdash/config.php	(Revision 2992)
+++ cdash/config.php	(Arbeitskopie)
@@ -49,9 +49,10 @@
 $CDASH_COOKIE_EXPIRATION_TIME='3600';
 // Using HTTPS protocol to access CDash
 $CDASH_USE_HTTPS ='0';
-// Name of the server running CDash. 
-// Leave empty to use current name.
+// Name and port of the server running CDash. 
+// Leave empty to use current name and default port.
 $CDASH_SERVER_NAME = '';
+$CDASH_SERVER_PORT = '';
 // If the remote request should use localhost or the full name
 // This variable should be set to 1 in most of the server configurations
 $CDASH_CURL_REQUEST_LOCALHOST='1';