get_serverlist.py: generate the above configure file; run on the master node of a cluster;