r8354: work around a js bug found by tpot

diff --git a/swat/scripting/common.js b/swat/scripting/common.js
index cdf18d1c9b31774be8a142aeca038833deda4e3e..2e90c1b4691ac37a62d360cf1cd807f9ff0b305b 100644 (file)
--- a/swat/scripting/common.js
+++ b/swat/scripting/common.js
@@ -100,10 +100,11 @@ function display_menu(m) {
 }
 
 function simple_menu() {
 }
 
 function simple_menu() {

-       var m = MenuObj(arguments[0], (arguments.length-1)/2);
+       var i, m = MenuObj(arguments[0], (arguments.length-1)/2);

        for (i=0;i<m.element.length;i++) {
        for (i=0;i<m.element.length;i++) {

-               m.element[i].label = arguments[1+(i*2)];
-               m.element[i].link = arguments[2+(i*2)];
+               var ndx = i*2;
+               m.element[i].label = arguments[ndx+1];
+               m.element[i].link = arguments[ndx+2];

        }
        display_menu(m);
 }
        }
        display_menu(m);
 }