fullname;
include($layout_top);
echo "\n";
showkernel($r->name, $r->safename, $r->fullname, $r->description, $r->patchfile, $r->configfile, $r->configpath);
echo "
\n";
}
}
if (!isset($title)) {
$title = "Error";
$page = "error";
include($layout_top);
echo "Error
\n";
echo "Sorry, I couldn't get any information on that kernel.
\n";
echo "" . mysql_error($dbh) . "
\n";
}
} else {
$title = "Error";
$page = "error";
include($layout_top);
echo "Error
\n";
echo "No kernel ID was specified. What exactly do you want me to do here?
\n";
}
include($layout_tail);
?>