This seems to be yet another problem with your description.

Perhaps 'server=' would be better as 'servers='. You could then split its value on '/,\s*/' and then treat these 3 elements:

    'server=bar116aix,bar117aix:FS=/tmp',
    'server=cvmfsser1, cvmfsser2:FS=/opt/apps',
    'server=baraix665, baraix666, baraix667:FS=/data/hp/feeds',
[download]

as if they were these 7 elements:

    'server=bar116aix:FS=/tmp',
    'server=bar117aix:FS=/tmp',
    'server=cvmfsser1:FS=/opt/apps',
    'server=cvmfsser2:FS=/opt/apps',
    'server=baraix665:FS=/data/hp/feeds',
    'server=baraix666:FS=/data/hp/feeds',
    'server=baraix667:FS=/data/hp/feeds',
[download]

Here I'm making further assumptions:

• "server" in ARRAY has a different meaning to "server" in FILE:
  • ARRAY: one or more servers
  • FILE: exactly one server
• Records in FILE never look like: "bar116aix,bar117aix::/tmp::team_name"