";
echo "
- | | ";
+ | |
+ ";
row2_plain("Users:", $stats['maxuser']);
row2_plain("Profiles:", $stats['profuser']);
row2_plain("Team members:", $stats['teamuser']);
@@ -1178,8 +1184,7 @@ function show_user_summary($maxuser) {
echo "\n";
echo "User | # posts | \n";
for ($p=1; $p<=10; $p++) {
- row2_plain(user_links_ops($top10poster[$p]),
- $top10poster[$p]->posts);
+ row2_plain(user_links_ops($top10poster[$p]), $top10poster[$p]->posts);
}
echo " | ";
echo "\n";
@@ -1236,6 +1241,7 @@ function team_name_by_id($teamid) {
function user_name_by_id($user_id) {
$result = mysql_query("select * from user where id = $user_id");
$user = mysql_fetch_object($result);
+ if (!$user) return "No user";
return $user->name;
}
@@ -1248,6 +1254,7 @@ function app_name_by_id($appid) {
function wu_name_by_id($workunitid) {
$result = mysql_query("select * from workunit where id = $workunitid");
$wu = mysql_fetch_object($result);
+ if (!$wu) return "Missing workunit";
return $wu->name;
}
@@ -1260,6 +1267,7 @@ function platform_name_by_id($platformid) {
function host_name_by_id($hostid) {
$result = mysql_query("select * from host where id = $hostid");
$host = mysql_fetch_object($result);
+ if (!$host) return "No host";
if (!strlen($host->domain_name) && !strlen($host->last_ip_addr)) {
return "(blank)";
} else {
| |