--- a/svghmi/svghmi.js Wed Jan 19 08:51:45 2022 +0100
+++ b/svghmi/svghmi.js Wed Jan 19 08:53:49 2022 +0100
@@ -332,8 +332,10 @@
};
function apply_hmi_value(index, new_val) {
- let old_val = cache[index];
- if(new_val != undefined && old_val != new_val)
+ // Similarly to previous comment, taking decision to update based
+ // on cache content is bad and can lead to inconsistency
+ /*let old_val = cache[index];*/
+ if(new_val != undefined /*&& old_val != new_val*/)
send_hmi_value(index, new_val);
return new_val;
}