Хранилища Subversion ant

Редакция

Редакция 278 | Содержимое файла | Сравнить с предыдущей | Последнее изменение | Открыть журнал | RSS

Редакция Автор № строки Строка
52 alex-w 1
<?php
2
 
3
/**
4
 * Project:     Ant: sources.list generator
5
 * File:        classic.php
6
 *
60 alex-w 7
 * This application is free software; you can redistribute it and/or
52 alex-w 8
 * modify it under the terms of the GNU Lesser General Public
9
 * License as published by the Free Software Foundation; either
10
 * version 2.1 of the License, or (at your option) any later version.
11
 *
60 alex-w 12
 * This application is distributed in the hope that it will be useful,
52 alex-w 13
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15
 * Lesser General Public License for more details.
16
 *
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
19
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20
 *
21
 */
22
 
23
 
101 alex-w 24
require_once dirname(__FILE__)."/lib/init.php";
52 alex-w 25
$ID = $_GET["id"];
26
 
223 alex-w 27
list($dist,$vers,$reps) = split(",",$ID);
52 alex-w 28
 
278 sivan 29
if (isset($ID)) {
52 alex-w 30
 
278 sivan 31
        if (isset($reps)) {
225 alex-w 32
                $getreps = array();
33
                $getreps = split("-",$reps);
226 alex-w 34
                $result = $core->getSourceList($dist,$vers,$getreps,$db);
223 alex-w 35
        } else {
278 sivan 36
                $dummyar[0] = "-1";
37
                $result = $core->getSourceList($dist,$vers,$dummyar,$db);
223 alex-w 38
        }
52 alex-w 39
 
40
        $HTTPHeader1 = "Content-type: text/plain";
41
        $HTTPHeader2 = "Content-length: ".strlen($result);
42
        $HTTPHeader3 = "Content-disposition: attachment; filename=sources.list\n\n";
43
 
44
        header($HTTPHeader1);
45
        header($HTTPHeader2);
46
        header($HTTPHeader3);
47
        print $result;
48
 
49
} else {
50
 
51
        header("Location: ./");
52
 
53
}
54
 
55
?>