# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1589388429 -7200
# Node ID 5ad82541b46e60484256f74d0e6d4e6410169731
# Parent  ae549ba1a1163448520b3db6916d7c821e99ddcf
SVGHMI: explicit handling of undefined maximum widget update frequency

diff -r ae549ba1a116 -r 5ad82541b46e svghmi/svghmi.js
--- a/svghmi/svghmi.js	Wed May 13 18:27:26 2020 +0200
+++ b/svghmi/svghmi.js	Wed May 13 18:47:09 2020 +0200
@@ -207,9 +207,11 @@
         let new_period = 0;
         if(widgets.size > 0) {
             let maxfreq = 0;
-            for(let widget of widgets)
-                if(maxfreq < widget.frequency)
-                    maxfreq = widget.frequency;
+            for(let widget of widgets){
+                let wf = widget.frequency;
+                if(wf != undefined && maxfreq < wf)
+                    maxfreq = wf;
+            }
 
             if(maxfreq != 0)
                 new_period = 1000/maxfreq;