equal
deleted
inserted
replaced
208 } |
208 } |
209 send_blob(delta); |
209 send_blob(delta); |
210 }; |
210 }; |
211 |
211 |
212 function send_hmi_value(index, value) { |
212 function send_hmi_value(index, value) { |
|
213 if(index > last_remote_index){ |
|
214 cache[index] = value; |
|
215 console.log("updated local variable ",index,value); |
|
216 /* TODO : dispatch value ASAP */ |
|
217 return; |
|
218 } |
|
219 |
213 let iectype = hmitree_types[index]; |
220 let iectype = hmitree_types[index]; |
214 let tobinary = typedarray_types[iectype]; |
221 let tobinary = typedarray_types[iectype]; |
215 send_blob([ |
222 send_blob([ |
216 new Uint8Array([0]), /* setval = 0 */ |
223 new Uint8Array([0]), /* setval = 0 */ |
217 new Uint32Array([index]), |
224 new Uint32Array([index]), |
305 |
312 |
306 if(old_desc){ |
313 if(old_desc){ |
307 old_desc.widgets.map(([widget,relativeness])=>widget.unsub()); |
314 old_desc.widgets.map(([widget,relativeness])=>widget.unsub()); |
308 } |
315 } |
309 var new_offset = page_index == undefined ? 0 : page_index - new_desc.page_index; |
316 var new_offset = page_index == undefined ? 0 : page_index - new_desc.page_index; |
310 new_desc.widgets.map(([widget,relativeness])=>widget.sub(new_offset,relativeness)); |
317 |
|
318 container_id = String([page_name, page_index]); |
|
319 |
|
320 new_desc.widgets.map(([widget,relativeness])=>widget.sub(new_offset,relativeness,container_id)); |
311 |
321 |
312 update_subscriptions(); |
322 update_subscriptions(); |
313 |
323 |
314 current_subscribed_page = page_name; |
324 current_subscribed_page = page_name; |
315 current_page_index = page_index; |
325 current_page_index = page_index; |