Хранилища Subversion ant

Редакция

Редакция 222 | Только различия | Не учитывать пробелы | Содержимое файла | Авторство | Последнее изменение | Открыть журнал | RSS

Редакция 222 Редакция 223
1
<?php
1
<?php
2
2
3
/**
3
/**
4
 * Project:     Ant: sources.list generator
4
 * Project:     Ant: sources.list generator
5
 * File:        classic.php
5
 * File:        classic.php
6
 *
6
 *
7
 * This application is free software; you can redistribute it and/or
7
 * This application is free software; you can redistribute it and/or
8
 * modify it under the terms of the GNU Lesser General Public
8
 * modify it under the terms of the GNU Lesser General Public
9
 * License as published by the Free Software Foundation; either
9
 * License as published by the Free Software Foundation; either
10
 * version 2.1 of the License, or (at your option) any later version.
10
 * version 2.1 of the License, or (at your option) any later version.
11
 *
11
 *
12
 * This application is distributed in the hope that it will be useful,
12
 * This application is distributed in the hope that it will be useful,
13
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15
 * Lesser General Public License for more details.
15
 * Lesser General Public License for more details.
16
 *
16
 *
17
 * You should have received a copy of the GNU Lesser General Public
17
 * You should have received a copy of the GNU Lesser General Public
18
 * License along with this library; if not, write to the Free Software
18
 * License along with this library; if not, write to the Free Software
19
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20
 *
20
 *
21
 */
21
 */
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
37
        header($HTTPHeader1);
41
        header($HTTPHeader1);
38
        header($HTTPHeader2);
42
        header($HTTPHeader2);
39
        header($HTTPHeader3);
43
        header($HTTPHeader3);
40
        print $result;
44
        print $result;
41
45
42
} else {
46
} else {
43
47
44
        header("Location: ./");
48
        header("Location: ./");
45
49
46
}
50
}
47
51
48
?>
52
?>
49
 
53