(pluginId, justInstalled = false)
| 163 | } |
| 164 | |
| 165 | async function markPluginLoaded(pluginId, justInstalled = false) { |
| 166 | LOADED_PLUGINS.add(pluginId); |
| 167 | acode[onPluginLoadCallback](pluginId); |
| 168 | |
| 169 | // clear broken mark if present |
| 170 | if (BROKEN_PLUGINS.has(pluginId)) { |
| 171 | BROKEN_PLUGINS.delete(pluginId); |
| 172 | } |
| 173 | |
| 174 | if (justInstalled || AUTO_DISABLED_PLUGINS.has(pluginId)) { |
| 175 | AUTO_DISABLED_PLUGINS.delete(pluginId); |
| 176 | await updatePluginDisabled(pluginId, false); |
| 177 | } |
| 178 | } |
| 179 | |
| 180 | async function markPluginBroken(pluginId, error) { |
| 181 | // mark plugin as broken to avoid repeated attempts until user intervenes |
no test coverage detected