Method wrapTimeStamp

src/gdb.ts:1618–1626

(str: string)

    protected timeStart = Date.now();
    protected wrapTimeStamp(str: string): string {
        if (this.args.showDevDebugOutput && this.args.showDevDebugTimestamps) {
            const elapsed = Date.now() - this.timeStart;
            const elapsedStr = elapsed.toString().padStart(10, '0');
            return elapsedStr + ': ' + str;
        } else {
            return str;
        }
    }

    private serverControllerEvent(event: DebugProtocol.Event) {
        this.sendEvent(event);