Function genDownloadCommands

src/common.ts:388–402

(config: ConfigurationArguments, preLoadCmds: string[])

}

export function genDownloadCommands(config: ConfigurationArguments, preLoadCmds: string[]) {
    if (Array.isArray(config?.loadFiles)) {
        if (config.loadFiles.length === 0) {
            return [];
        } else {
            const ret = [...preLoadCmds];
            for (const f of config.loadFiles) {
                const tmp = f.replace(/\\/g, '/');
                ret.push(`file-exec-file "${tmp}"`, 'target-download');
            }
            return ret;
        }
    }
    return [...preLoadCmds, 'target-download'];
}

export class RTTServerHelper {
    // Channel numbers previously used on the localhost