From 9904d7b920f8524035bdff448165a9ba852daa08 Mon Sep 17 00:00:00 2001 From: David Anderson Date: Wed, 16 Jul 2014 19:29:30 -0700 Subject: [PATCH] web: use symbols instead of numbers in result.inc --- html/inc/result.inc | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) diff --git a/html/inc/result.inc b/html/inc/result.inc index 7ac7680724..8e75daa854 100644 --- a/html/inc/result.inc +++ b/html/inc/result.inc @@ -298,25 +298,29 @@ function file_delete_state_str($s) { } function wu_error_mask_str($s) { $x = ""; - if ($s & 1) { + if ($s & WU_ERROR_COULDNT_SEND_RESULT) { $x = $x." ".tra("Couldn't send result"); - $s -= 1; + $s -= WU_ERROR_COULDNT_SEND_RESULT; } - if ($s & 2) { + if ($s & WU_ERROR_TOO_MANY_ERROR_RESULTS) { $x = $x." ".tra("Too many errors (may have bug)"); - $s -= 2; + $s -= WU_ERROR_TOO_MANY_ERROR_RESULTS; } - if ($s & 4) { + if ($s & WU_ERROR_TOO_MANY_SUCCESS_RESULTS) { $x = $x." ".tra("Too many results (may be nondeterministic)"); - $s -= 4; + $s -= WU_ERROR_TOO_MANY_SUCCESS_RESULTS; } - if ($s & 8) { + if ($s & WU_ERROR_TOO_MANY_TOTAL_RESULTS) { $x = $x." ".tra("Too many total results"); - $s -= 8; + $s -= WU_ERROR_TOO_MANY_TOTAL_RESULTS; } - if ($s & 16) { + if ($s & WU_ERROR_CANCELLED) { $x = $x." ".tra("WU cancelled"); - $s -= 16; + $s -= WU_ERROR_CANCELLED; + } + if ($s & WU_ERROR_NO_CANONICAL_RESULT) { + $x = $x." ".tra("Canonical result is missing"); + $s -= WU_ERROR_NO_CANONICAL_RESULT; } if ($s) { $x = $x." ".tra("Unrecognized Error: %1", $s);