varname = 'has_srv_mirrors_' + archive.gsub(/[\/-]/,'_')
if has_variable?(varname) and (eval(varname)) == 'true'
lines << "<li>#{archive} [<a href=\"/#{archive}/project/trace/\">trace directory</a>]</li>"
varname = 'has_srv_mirrors_' + archive.gsub(/[\/-]/,'_')
if has_variable?(varname) and (eval(varname)) == 'true'
lines << "<li>#{archive} [<a href=\"/#{archive}/project/trace/\">trace directory</a>]</li>"