Хранилища Subversion ant

Редакция

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

Редакция 11 Редакция 12
Строка 9... Строка 9...
9
$query->fetchInto($antv, DB_FETCHMODE_ASSOC);
9
$query->fetchInto($antv, DB_FETCHMODE_ASSOC);
10
$antversion = $antv["optvalue"];
10
$antversion = $antv["optvalue"];
11
11
12
$query =& $db->query("SELECT * FROM distribution");
12
$query =& $db->query("SELECT * FROM distribution");
13
while ($query->fetchInto($data, DB_FETCHMODE_ASSOC)) {
13
while ($query->fetchInto($data, DB_FETCHMODE_ASSOC)) {
14
        $linux .= "<p><input type='radio' name='d' value='".$data["dist_id"]."'>".stripslashes($data["distname"])."</p>\n";
14
        $linux .= "<p><input type='radio' name='d' value='".$data["dist_id"]."' />".stripslashes($data["distname"])."</p>\n";
15
}
15
}
16
16
17
if (!isset($status)) { $status = 0; };
17
if (!isset($status)) { $status = 0; };
18
18
19
if (isset($dist)) {
19
if (isset($dist)) {
20
        $query =& $db->query("SELECT * FROM version v JOIN distribution d ON d.dist_id=v.dist_id WHERE v.dist_id='$dist'");
20
        $query =& $db->query("SELECT * FROM version v JOIN distribution d ON d.dist_id=v.dist_id WHERE v.dist_id='$dist'");
21
        $distvers = "<p><input type='hidden' name='d' value='".$dist."'></p>\n";
21
        $distvers = "<p><input type='hidden' name='d' value='".$dist."' /></p>\n";
22
        while ($query->fetchInto($version, DB_FETCHMODE_ASSOC)) {
22
        while ($query->fetchInto($version, DB_FETCHMODE_ASSOC)) {
23
                if ($version["vname"]!="") {
23
                if ($version["vname"]!="") {
24
                        $distname = "&#8220;".stripslashes($version["vname"])."&#8221;";
24
                        $distname = "&#8220;".stripslashes($version["vname"])."&#8221;";
25
                } else {
25
                } else {
26
                        $distname = "";
26
                        $distname = "";
27
                }
27
                }
28
                $distvers .= "<p><input type='radio' name='v' value='".$version["version_id"]."'>".stripslashes($version["distname"])." ".stripslashes($version["version"])." ".$distname."</p>\n";
28
                $distvers .= "<p><input type='radio' name='v' value='".$version["version_id"]."' />".stripslashes($version["distname"])." ".stripslashes($version["version"])." ".$distname."</p>\n";
29
        }
29
        }
30
}
30
}
31
31
32
if (isset($vers)) {
32
if (isset($vers)) {
33
        $query =& $db->query("SELECT * FROM settings");
33
        $query =& $db->query("SELECT * FROM settings");