Fix random language pick.

judge0 · Jan 1, 2020 · 463a5ce · 463a5ce
1 parent 4035c49
commit 463a5ce
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/js/ide.js b/js/ide.js
@@ -393,7 +393,11 @@ function insertTemplate() {
 }
 
 function loadRandomLanguage() {
-    $selectLanguage.dropdown("set selected", Math.floor(Math.random() * $selectLanguage[0].length));
+    var values = [];
+    for (var i = 0; i < $selectLanguage[0].options.length; ++i) {
+        values.push($selectLanguage[0].options[i].value);
+    }
+    $selectLanguage.dropdown("set selected", values[Math.floor(Math.random() * $selectLanguage[0].length)]);
     apiUrl = resolveApiUrl($selectLanguage.val());
     showApiUrl();
     insertTemplate();