/trunk/get.php |
---|
26,14 → 26,15 |
list($dist,$vers,$reps) = split(",",$ID); |
if ($ID!='') { |
if (isset($ID)) { |
if ($reps!="") { |
if (isset($reps)) { |
$getreps = array(); |
$getreps = split("-",$reps); |
$result = $core->getSourceList($dist,$vers,$getreps,$db); |
} else { |
$result = $core->getRepListLegacy($dist,$vers,$db); |
$dummyar[0] = "-1"; |
$result = $core->getSourceList($dist,$vers,$dummyar,$db); |
} |
$HTTPHeader1 = "Content-type: text/plain"; |