# HG changeset patch
# User Edouard Tisserant
# Date 1642588897 -3600
# Node ID a1d9a03530536736f8c385f601c4fd73018dd3d6
# Parent 9b9775d230f5f5cb44ef0999ffaf01ccd396b393
SVGHMI: update generated XSLT
diff -r 9b9775d230f5 -r a1d9a0353053 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Wed Jan 19 11:41:04 2022 +0100
+++ b/svghmi/gen_index_xhtml.xslt Wed Jan 19 11:41:37 2022 +0100
@@ -1459,8 +1459,6 @@
this.element = id(elt_id);
- if(freq !== undefined) this.frequency = freq;
-
this.args = args;
this.indexes = indexes;
@@ -1477,6 +1475,8 @@
this.bound_unhinibit = this.unhinibit.bind(this);
+ this.forced_frequency = freq;
+
}
@@ -2402,7 +2402,7 @@
console.log("Entering state
- ");
+ ", this.frequency);
}
@@ -8237,6 +8237,10 @@
}
+ if(widget.forced_frequency !== undefined)
+
+ widget.frequency = widget.forced_frequency;
+
});
};
@@ -8801,8 +8805,6 @@
function send_hmi_value(index, value) {
- console.log("send_hmi_value("+index+", "+value+")")
-
if(index > last_remote_index){
updates.set(index, value);
@@ -8851,7 +8853,9 @@
function apply_hmi_value(index, new_val) {
- console.log("apply_hmi_value("+index+", "+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];*/