operationService.getTools(operations)
.then(file=> {
console.log(file);
let blob = new Blob([file], { type: "application/xml" });
let objectUrl = URL.createObjectURL(blob);
let a = document.createElement('a');
a.download = file.name;
a.href = objectUrl;
a.click();
});