name;
$descr = $r->descr;
}
}
include($layout_top);
?>
$descr";
}
if (!empty($category))
$catclause="category='$category' and";
else
$catclause="";
if ($q = mysql_query("select name, safename, fullname, description, patchfile, configfile,configpath from builds, mastertrees where $catclause (configpath != '' or configfile != \"\" or patchfile != \"\") and status!='disabled' and mastertrees.name=builds.mastertree order by fullname", $dbh)) {
if (mysql_num_rows($q) > 0) {
echo "\n";
$i=0;
while ($r = mysql_fetch_object($q)) {
$i++;
showkernel($r->name, $r->safename, $r->fullname, $r->description, $r->patchfile, $r->configfile, $r->configpath);
if ($i < mysql_num_rows($q))
echo "| |
\n";
}
echo "
\n";
} else {
echo "No kernels found.
\n";
}
}
include($layout_tail);
?>