in src/html_files/configure.ts [64:79]
function toggleCheckbox(elem: HTMLInputElement, run, check) {
let cpu_list = run_config.get(run).cpu_list;
if (elem.checked) {
if (cpu_list.indexOf(elem.value) == -1) {
cpu_list.push(elem.value);
}
} else {
let index = cpu_list.indexOf(elem.value);
if (index != -1) {
cpu_list.splice(index, 1);
}
}
if (check) {
allCPUsCheck(run);
}
}