list_servers.jacl set xservers [$AdminConfig list Server] puts "Servers: " puts "$xservers"
set xservers [$AdminConfig list Server] puts "Servers: " puts "$xservers"