Skip to content

Commit

Permalink
Updates getTeamNumber to always use request api
Browse files Browse the repository at this point in the history
  • Loading branch information
ThadHouse committed Mar 31, 2018
1 parent d813203 commit b118bdf
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions vscode/vscode-wpilib-core/src/preferences.ts
Original file line number Diff line number Diff line change
Expand Up @@ -112,11 +112,7 @@ export class Preferences implements IPreferences {
// If always ask, get it.
const alwaysAsk = this.configuration.get<boolean>('alwaysAskForTeamNumber');
if (alwaysAsk !== undefined && alwaysAsk === true) {
const teamNumber = await vscode.window.showInputBox({ prompt: 'Enter your team number' });
if (teamNumber === undefined) {
return -1;
}
return parseInt(teamNumber);
return await requestTeamNumber();
}
const res = this.configuration.get<number>('teamNumber');
if (res === undefined || res < 0) {
Expand Down

0 comments on commit b118bdf

Please sign in to comment.