diff --git a/html/ops/db_ops.inc b/html/ops/db_ops.inc index 56dfd21449..860fffc48e 100644 --- a/html/ops/db_ops.inc +++ b/html/ops/db_ops.inc @@ -328,6 +328,7 @@ function result_short_header() { outcome client state host + client version received "; @@ -354,6 +355,8 @@ function show_result_short($result) { } else { echo "---\n"; } + $version = sprintf("%.2f", $result->client_version_num/100); + echo "$version"; echo "$received"; echo " diff --git a/html/ops/result_summary.php b/html/ops/result_summary.php index 1f1e268421..e3044f2b42 100644 --- a/html/ops/result_summary.php +++ b/html/ops/result_summary.php @@ -44,7 +44,7 @@ if ($server_state[$ss] == 0) { $x = "0"; } else { - $x = "".$server_state[$ss].""; + $x = "".$server_state[$ss].""; } row2(result_server_state_string($ss), $x); } @@ -56,7 +56,7 @@ if ($outcome[$ro] == 0) { $x = "0"; } else { - $x = "".$outcome[$ro].""; + $x = "".$outcome[$ro].""; } row2(result_outcome_string($ro), $x); } @@ -68,7 +68,7 @@ if ($client_state[$cs] == 0) { $x = "0"; } else { - $x = "".$client_state[$cs].""; + $x = "".$client_state[$cs].""; } row2(result_client_state_string($cs), $x); } diff --git a/html/ops/util_ops.inc b/html/ops/util_ops.inc index 7cfdaabe76..33c7324fe9 100644 --- a/html/ops/util_ops.inc +++ b/html/ops/util_ops.inc @@ -64,7 +64,8 @@ function time_str($x) { } function start_table() { - echo "\n"; + // echo "
\n"; + echo "
\n"; } function end_table() {