svghmi/svghmi.js
changeset 3413 2e84a2782295
parent 3385 18621ce81f5f
child 3417 9b9775d230f5
--- 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;
 }