(keys: string[], pluginName: string)
| 516 | } |
| 517 | |
| 518 | private removePluginNameConfigs(keys: string[], pluginName: string): void { |
| 519 | for (const key of keys) { |
| 520 | const current = databaseAPI.dbGet(key) |
| 521 | const normalized = normalizeConfigList(current) |
| 522 | const next = removePluginNameFromSettingList(normalized, pluginName) |
| 523 | if (next.length !== normalized.length) { |
| 524 | databaseAPI.dbPut(key, next) |
| 525 | } |
| 526 | } |
| 527 | } |
| 528 | |
| 529 | public async setPluginMainPushDisabled( |
| 530 | pluginName: string, |
no test coverage detected