| /trunk/get.php |
|---|
| 24,11 → 24,15 |
| require_once dirname(__FILE__)."/lib/init.php"; |
| $ID = $_GET["id"]; |
| list($dist,$vers) = split(",",$ID); |
| list($dist,$vers,$reps) = split(",",$ID); |
| if ($ID!='') { |
| $result = $core->getRepListLegacy($dist,$vers,$db); |
| if ($reps!="") { |
| $result = $core->getSourceList($dist,$vers,$reps,$db); |
| } else { |
| $result = $core->getRepListLegacy($dist,$vers,$db); |
| } |
| $HTTPHeader1 = "Content-type: text/plain"; |
| $HTTPHeader2 = "Content-length: ".strlen($result); |