modified:   serverlist.inc.php