equal
deleted
inserted
replaced
189 subscribers[heartbeat_index].add({ |
189 subscribers[heartbeat_index].add({ |
190 /* type: "Watchdog", */ |
190 /* type: "Watchdog", */ |
191 frequency: 1, |
191 frequency: 1, |
192 indexes: [heartbeat_index], |
192 indexes: [heartbeat_index], |
193 dispatch: function(value) { |
193 dispatch: function(value) { |
194 change_hmi_value(heartbeat_index, "+1"); |
194 apply_hmi_value(heartbeat_index, value+1); |
195 } |
195 } |
196 }); |
196 }); |
197 |
197 |
198 function update_subscriptions() { |
198 function update_subscriptions() { |
199 let delta = []; |
199 let delta = []; |