SVGHMI: removed dead code svghmi
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Tue, 09 Feb 2021 07:56:25 +0100
branchsvghmi
changeset 3130 bdd81e12e7b5
parent 3129 f2709923c82c
child 3131 2d750e38a4c6
SVGHMI: removed dead code
svghmi/svghmi.js
--- a/svghmi/svghmi.js	Tue Feb 09 07:55:16 2021 +0100
+++ b/svghmi/svghmi.js	Tue Feb 09 07:56:25 2021 +0100
@@ -342,17 +342,6 @@
     return new_val;
 }
 
-/*
-function change_hmi_value(index, opstr) {
-    let old_val = cache[index];
-    let new_val = eval_operation_string(old_val, opstr);
-    if(new_val != undefined && old_val != new_val)
-        send_hmi_value(index, new_val);
-    // TODO else raise
-    return new_val;
-}
-*/
-
 var current_visible_page;
 var current_subscribed_page;
 var current_page_index;