Searched refs:configOption (Results 1 – 2 of 2) sorted by relevance
97 export let configOption: string; variable150 if (!configOption) {151 configOption = option;154 configOption += "+" + option;
20 const perfData = readSavedPerfData(configOption);567 IO.writeFile(perfdataFileName(configOption), JSON.stringify(newPerfData, null, 4));599 const perfData = readSavedPerfData(configOption);