id");
while ($host = mysql_fetch_object($result)) {
echo "
Host $i:\n";
show_host($host);
$i++;
}
mysql_free_result($result);
}
function show_user_page($user) {
page_head("User page");
echo "$user->name
\n";
echo "Preferences";
show_user($user);
show_hosts($user);
}
?>