| /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"; |