Let user input the priority of edge deployment (#158)

This commit is contained in:
Jun Han 2018-09-06 13:40:57 +08:00 коммит произвёл GitHub
Родитель d7c1e88496
Коммит 8972e48ecd
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 20 добавлений и 0 удалений

Просмотреть файл

@ -242,6 +242,25 @@ export class IoTEdgeExplorer extends BaseExplorer {
return;
}
const priority = await vscode.window.showInputBox({
prompt: "Deployment priority (Higher values indicate higher priority)",
value: "10",
ignoreFocusOut: true,
validateInput: (value: string) => {
if (!value) {
return "The value should not be empty.";
}
const floatValue = parseFloat(value);
if (!Number.isInteger(floatValue) || floatValue < 0) {
return "Deployment priority should be a positive integer";
}
return undefined;
},
});
if (!priority) {
return;
}
const deploymentConfiguration = {
id: deploymentId,
content: {
@ -249,6 +268,7 @@ export class IoTEdgeExplorer extends BaseExplorer {
},
schemaVersion: "1.0",
targetCondition,
priority: parseInt(priority, 10),
};
const label = "Edge";