';
reset($list);
while (list($key,$val)=each($list))
{
if (isset($globinfo[':group'][$key]) && isset($val[$_GET['mirror'][$globinfo[':group'][$key]]]))
{
$selmirror = $val[$_GET['mirror'][$globinfo[':group'][$key]]];
}
if (isset($val[$_GET['mirror'][$key]]))
{
$selmirror = $val[$_GET['mirror'][$key]];
}
if ($_GET['selection'][$key] && isset($selmirror))
{
$url = $selmirror['url'];
if ($_GET['synth'])
{
$url=str_replace('hdlist','synthesis.hdlist',$url);
}
# looks like -> $globinfo[':urpmiopt'][$key] <- does nothing here...
if ($user['pm'] == 'smart') {
# quick hack so we do not need to mess with mirror listing generation
echo htmlentities("smart channel -y --add ".smart_url($_GET['prefix']."$key $url " )."\n");
} else {
echo htmlentities("urpmi.addmedia ".$globinfo[':urpmiopt'][$key]." ".$_GET['prefix']."$key $url\n");
}
echo "
";
}
}
echo '
'.$lang['e20'];
echo '
';
if ($user['pm'] != 'smart') {
echo $lang['e21'].'