diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-26 18:06:29 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-26 18:06:29 -0700 |
| commit | 899930095f519c19da9e379053a8557fbb7cff29 (patch) | |
| tree | 98b4d429f9ca8decbcd99c4c3429442d6f473b1c | |
| parent | b8ed4b775feff99a5be73632367b666d8a833fa3 (diff) | |
Allow multiple distinct problems per ui element
Fixes #16
| -rw-r--r-- | src/js/fiveui/injected/compute.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/js/fiveui/injected/compute.js b/src/js/fiveui/injected/compute.js index db6e650..899d7e2 100644 --- a/src/js/fiveui/injected/compute.js +++ b/src/js/fiveui/injected/compute.js @@ -123,7 +123,7 @@ }; var str = prob.name + prob.descr + prob.url + prob.severity - + name + nodeHash(node); + + name + nodeHash(node) + message; prob.hash = hex_md5(str); // hex_md5() is from md5.js |