(pluginId, error)
| 178 | } |
| 179 | |
| 180 | async function markPluginBroken(pluginId, error) { |
| 181 | // mark plugin as broken to avoid repeated attempts until user intervenes |
| 182 | BROKEN_PLUGINS.set(pluginId, { |
| 183 | error: String(error.message || error), |
| 184 | timestamp: Date.now(), |
| 185 | }); |
| 186 | |
| 187 | AUTO_DISABLED_PLUGINS.add(pluginId); |
| 188 | await updatePluginDisabled(pluginId, true); |
| 189 | } |
| 190 | |
| 191 | function markPluginTimedOut(pluginId, pluginState) { |
| 192 | BROKEN_PLUGINS.set(pluginId, { |
no test coverage detected