Редакция 222 | К новейшей редакции | Весь файл | Учитывать пробелы | Содержимое файла | Авторство | Последнее изменение | Открыть журнал | RSS
Редакция 222 | Редакция 223 | ||
---|---|---|---|
Строка 22... | Строка 22... | ||
22 | 22 | ||
23 | 23 | ||
24 | require_once dirname(__FILE__)."/lib/init.php"; |
24 | require_once dirname(__FILE__)."/lib/init.php"; |
25 | $ID = $_GET["id"]; |
25 | $ID = $_GET["id"]; |
26 | 26 | ||
27 | list($dist,$vers) = split(",",$ID); |
27 | list($dist,$vers,$reps) = split(",",$ID); |
28 | 28 | ||
29 | if ($ID!='') { |
29 | if ($ID!='') { |
30 | 30 | ||
- | 31 | if ($reps!="") { |
|
- | 32 | $result = $core->getSourceList($dist,$vers,$reps,$db); |
|
- | 33 | } else { |
|
31 | $result = $core->getRepListLegacy($dist,$vers,$db); |
34 | $result = $core->getRepListLegacy($dist,$vers,$db); |
- | 35 | }
|
|
32 | 36 | ||
33 | $HTTPHeader1 = "Content-type: text/plain"; |
37 | $HTTPHeader1 = "Content-type: text/plain"; |
34 | $HTTPHeader2 = "Content-length: ".strlen($result); |
38 | $HTTPHeader2 = "Content-length: ".strlen($result); |
35 | $HTTPHeader3 = "Content-disposition: attachment; filename=sources.list\n\n"; |
39 | $HTTPHeader3 = "Content-disposition: attachment; filename=sources.list\n\n"; |
36 | 40 |