add support to "server list" for plain files containing a port numbers

Same as the other PR, except without the one commit.