311     // DON'T DO THAT unless read_iterator in svghmi.c modifies wbuf as well, not only rbuf

   311     // DON'T DO THAT unless read_iterator in svghmi.c modifies wbuf as well, not only rbuf

   312     // cache[index] = value;

   312     // cache[index] = value;

   313 };

   313 };

   314 

   314 

   315 function apply_hmi_value(index, new_val) {

   315 function apply_hmi_value(index, new_val) {

   317     if(new_val != undefined && old_val != new_val)

   317     if(new_val != undefined && old_val != new_val)

   318         send_hmi_value(index, new_val);

   318         send_hmi_value(index, new_val);

   319     return new_val;

   319     return new_val;

   320 }

   320 }

   321 

   321