diff --git a/html/inc/db_ops.inc b/html/inc/db_ops.inc
index 198f6bae34..50b26999f9 100644
--- a/html/inc/db_ops.inc
+++ b/html/inc/db_ops.inc
@@ -617,10 +617,31 @@ function show_host($host) {
function wu_error_mask_str($s) {
$x = "";
- if ($s & 1) $x = $x."Couldn't send result; ";
- if ($s & 2) $x = $x."Too many errors (may have bug); ";
- if ($s & 4) $x = $x."Too many results (may be nondeterministic)";
- $x = $x."
";
+ if ($s & 1) {
+ $x = $x."Couldn't send result;
";
+ $s -= 1;
+ }
+ if ($s & 2) {
+ $x = $x."Too many errors (may have bug);
";
+ $s -= 2;
+ }
+ if ($s & 4) {
+ $x = $x."Too many results (may be nondeterministic)
";
+ $s -= 4;
+ }
+ if ($s & 8) {
+ $x = $x."Too many total results
";
+ $s -= 8;
+ }
+ if ($s & 16) {
+ $x = $x."WU cancelled
";
+ $s -= 16;
+ }
+ if ($s) {
+ $x = $x."Unrecognized Error: $s
";
+ }
+ if (strlen($s))
+ $x="".$x."";
return $x;
}
@@ -648,6 +669,9 @@ function show_workunit($wu) {
$_GET = array('workunitid' => $wu->id);
show_result_summary();
+ $currenttime=time();
+ echo "Current unix time is $currenttime
";
+
start_table();
row("Created", time_str($wu->create_time));
row("Transition Time", time_str($wu->transition_time));