fix formatting on time stamps (#2456)

This commit is contained in:
Anthony Dresser
2018-09-07 16:24:06 -07:00
committed by Karl Burtram
parent 72d2920dc3
commit 16bc218ea7

View File

@@ -242,16 +242,18 @@ export default class QueryRunner {
}
});
this._eventEmitter.emit(EventType.COMPLETE, Utils.parseNumAsTimeString(this._totalElapsedMilliseconds));
let timeStamp = Utils.parseNumAsTimeString(this._totalElapsedMilliseconds);
this._eventEmitter.emit(EventType.COMPLETE, timeStamp);
// We're done with this query so shut down any waiting mechanisms
let message = {
message: nls.localize('query.message.executionTime', 'Total execution time: {0}', this._totalElapsedMilliseconds),
message: nls.localize('query.message.executionTime', 'Total execution time: {0}', timeStamp),
isError: false,
time: undefined
};
this._onQueryEnd.fire(Utils.parseNumAsTimeString(this._totalElapsedMilliseconds));
this._onQueryEnd.fire(timeStamp);
this._onMessage.fire(message);
}