Add new log grouping for DB cleanup

This commit is contained in:
Edoardo Pirovano 2021-06-09 11:16:22 +01:00 committed by Edoardo Pirovano
parent 0ea20c5b32
commit 06df98a513
3 changed files with 5 additions and 3 deletions

3
lib/analyze.js generated
View file

@ -163,12 +163,13 @@ async function runAnalyze(outputDir, memoryFlag, addSnippetsFlag, threadsFlag, a
}
exports.runAnalyze = runAnalyze;
async function runCleanup(config, cleanupLevel, logger) {
logger.info("Cleaning up databases...");
logger.startGroup("Cleaning up databases");
for (const language of config.languages) {
const codeql = codeql_1.getCodeQL(config.codeQLCmd);
const databasePath = util.getCodeQLDatabasePath(config, language);
await codeql.databaseCleanup(databasePath, cleanupLevel);
}
logger.endGroup();
}
exports.runCleanup = runCleanup;
async function injectLinesOfCode(sarifFile, language, locPromise) {

File diff suppressed because one or more lines are too long

View file

@ -332,12 +332,13 @@ export async function runCleanup(
cleanupLevel: string,
logger: Logger
): Promise<void> {
logger.info("Cleaning up databases...");
logger.startGroup("Cleaning up databases");
for (const language of config.languages) {
const codeql = getCodeQL(config.codeQLCmd);
const databasePath = util.getCodeQLDatabasePath(config, language);
await codeql.databaseCleanup(databasePath, cleanupLevel);
}
logger.endGroup();
}
async function injectLinesOfCode(