()
| 278 | } |
| 279 | |
| 280 | static async removeSelectedPlayreadyDevice() { |
| 281 | const selected_device_name = await DeviceManager.getSelectedPlayreadyDevice(); |
| 282 | |
| 283 | const result = await AsyncLocalStorage.getStorage(['devices']); |
| 284 | const array = result.devices === undefined ? [] : result.devices; |
| 285 | |
| 286 | const index = array.indexOf(selected_device_name); |
| 287 | if (index > -1) { |
| 288 | array.splice(index, 1); |
| 289 | } |
| 290 | |
| 291 | await AsyncLocalStorage.setStorage({ devices: array }); |
| 292 | await AsyncLocalStorage.removeStorage([selected_device_name]); |
| 293 | } |
| 294 | |
| 295 | static async removeSelectedPlayreadyDeviceKey() { |
| 296 | await AsyncLocalStorage.removeStorage(["selected"]); |
no test coverage detected