IMP server list (2.3.7)

[Bill Neely]

I am confused as to why the following settings in the conf.php file

// Should we display a list of servers (defined in
// config/servers.php) for users to choose from?  
$conf['server']['server_list'] = true;          
                            
// If you enable the server list, and enable
// $conf['server']['server_list_hidden'] then the "preferred"
// mechanism by which the server list determines what server is
// selected by default will be used to determine which servers.php
// entry to use.            
$conf['server']['server_list_hidden'] = true;

cause the server list NOT to be displayed. Setting them to false causes them to 
display. Is something backwards here.

CVS from last Friday

-- 
Bill