svghmi/svghmi.js
branchsvghmi
changeset 3017 15e2df3e5610
parent 3006 bbffdefd2eed
child 3022 f6fe42b7ce60
--- a/svghmi/svghmi.js	Thu Aug 06 15:01:01 2020 +0200
+++ b/svghmi/svghmi.js	Sat Aug 08 15:53:28 2020 +0200
@@ -210,6 +210,13 @@
 };
 
 function send_hmi_value(index, value) {
+    if(index > last_remote_index){
+        cache[index] = value;
+        console.log("updated local variable ",index,value);
+        /* TODO : dispatch value ASAP */
+        return;
+    }
+
     let iectype = hmitree_types[index];
     let tobinary = typedarray_types[iectype];
     send_blob([
@@ -307,7 +314,10 @@
         old_desc.widgets.map(([widget,relativeness])=>widget.unsub());
     }
     var new_offset = page_index == undefined ? 0 : page_index - new_desc.page_index;
-    new_desc.widgets.map(([widget,relativeness])=>widget.sub(new_offset,relativeness));
+
+    container_id = String([page_name, page_index]);
+
+    new_desc.widgets.map(([widget,relativeness])=>widget.sub(new_offset,relativeness,container_id));
 
     update_subscriptions();