Fix skin default.

Normand Briere

2019-05-01 a742f6cebf1d471217d836e07934e5c02c22b6db

 RandomNode.java
..
..
@@ -66,7 +66,7 @@
66
66
 //        if (!link2master && rnd != -1)
67
67
 //            new Exception().printStackTrace();
68
68
         
69
-        if (link2master && rnd != -1) // freeze current value
69
+        if (!random && rnd != -1) // freeze current value
70
70
             return super.reserve(rnd);
71
71
         
72
72
         if (firstchoice == 0)
..
..
@@ -95,7 +95,7 @@
95
95
         
96
96
             //(int)(Math.random()*super.size());
97
97
         //globalcount++;
98
-        gcount += GraphreeD.mix3(rnd+12345,firstchoice*12345,gcount);
98
+        gcount += GrafreeD.mix3(rnd+12345,firstchoice*12345,gcount);
99
99
         
100
100
         gcount &= 0x7fffffff;
101
101
         
..
..
@@ -142,7 +142,7 @@
142
142
         super.get(rnd).count++;
143
143
     //assert (child.count >= 0);
144
144
         
145
-        if (!link2master) // volatile value
145
+        if (random) // volatile value
146
146
             rnd = -1;
147
147
     }
148
148