From 2d6cf1a3c44a93c2035e27e7de1a820becaf7f66 Mon Sep 17 00:00:00 2001 From: David Anderson Date: Sat, 11 Oct 2003 17:33:49 +0000 Subject: [PATCH] *** empty log message *** svn path=/trunk/boinc/; revision=2441 --- html/ops/db_ops.inc | 12 ++++-------- html/ops/util_ops.inc | 2 +- 2 files changed, 5 insertions(+), 9 deletions(-) diff --git a/html/ops/db_ops.inc b/html/ops/db_ops.inc index f5c56005fc..0f435a8fa1 100644 --- a/html/ops/db_ops.inc +++ b/html/ops/db_ops.inc @@ -618,17 +618,12 @@ function credit_str($c) { } } -function show_result($result, $hide_xml_docs, $hide_stderr, $hide_times) -{ +function show_result($result, $hide_xml_docs, $hide_stderr, $hide_times) { $wu_name = wu_name_by_id($result->workunitid); - echo "

$result->name

"; - echo "

WU: workunitid>$wu_name"; start_table(); - - if (!$hide_times) { row("Created", time_str($result->create_time)); row("Sent", time_str($result->sent_time)); @@ -787,10 +782,11 @@ 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 (!strlen($host->domain_name) && !strlen($host->last_ip_addr)) + if (!strlen($host->domain_name) && !strlen($host->last_ip_addr)) { return "(blank)"; - else + } else { return $host->domain_name . " (" . $host->last_ip_addr . ")"; + } } ?> diff --git a/html/ops/util_ops.inc b/html/ops/util_ops.inc index 02b996aee3..3400aa331b 100644 --- a/html/ops/util_ops.inc +++ b/html/ops/util_ops.inc @@ -52,7 +52,7 @@ function print_text_field($text,$name,$value) { } function row($x, $y) { - echo "\n$x\n$y\n\n"; + echo "$x\n$y\n\n"; } function c_row2($color, $x, $y) {