id");
while ($host = mysql_fetch_object($result)) {
echo "
Host $i:\n";
show_host($host);
$i++;
}
mysql_free_result($result);
}
function show_user_page($user, $project) {
echo "Welcome, $user->name!
\n";
start_table();
show_user_profile($user);
echo "\n";
show_user_stats($user, $project);
echo "
\n";
echo "
";
}
?>