def _get_servernames(names):
 whitespace_re = re.compile('\\s+')
 names = re.sub(whitespace_re, ' ', names)
 return names.split(' ')

def _get_servernames ( names ) : whitespace_re = re . compile ( '\\s+' ) names = re . sub ( whitespace_re , ' ' , names ) return names . split ( ' ' )
turns a server_name string into a list of server names .