clean up and rename things to follow proper conventions

This commit is contained in:
Nick Fyson
2020-09-07 23:02:58 +01:00
parent 3e6d23928b
commit cc2dfaf5d8
18 changed files with 52 additions and 68 deletions

View File

@@ -12,8 +12,8 @@ import uuidV4 from 'uuid/v4';
import * as api from './api-client';
import * as defaults from './defaults.json'; // Referenced from codeql-action-sync-tool!
import { errorMatchers} from './error_matcher';
import { exec_wrapper } from './exec_wrapper';
import { errorMatchers} from './error-matcher';
import { execErrorCatcher } from './exec-wrapper';
import { Language } from './languages';
import * as util from './util';
@@ -382,7 +382,7 @@ function getCodeQLForCmd(cmd: string): CodeQL {
const traceCommand = path.resolve(JSON.parse(extractorPath), 'tools', 'autobuild' + ext);
// Run trace command
await exec_wrapper(
await execErrorCatcher(
cmd, [
'database',
'trace-command',
@@ -395,7 +395,7 @@ function getCodeQLForCmd(cmd: string): CodeQL {
);
},
finalizeDatabase: async function(databasePath: string) {
await exec_wrapper(
await execErrorCatcher(
cmd, [
'database',
'finalize',