One file with a line for each server.