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];*/