diff options
| author | Elias Sjögreen <eliassjogreen1@gmail.com> | 2021-05-07 15:45:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-07 09:45:07 -0400 |
| commit | 4ed1428c3401c9e6dc4d737bd7c9a50840054696 (patch) | |
| tree | 62888871bee247f35d0f663b784ab072becfc164 /runtime/js/40_plugins.js | |
| parent | c709f5df363887647915f7dd67e1c3bb8df6c526 (diff) | |
fix: align plugin api with Extension (#10427)
Diffstat (limited to 'runtime/js/40_plugins.js')
| -rw-r--r-- | runtime/js/40_plugins.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/runtime/js/40_plugins.js b/runtime/js/40_plugins.js index e9a3142b4..0796fd5ce 100644 --- a/runtime/js/40_plugins.js +++ b/runtime/js/40_plugins.js @@ -5,7 +5,9 @@ const core = window.Deno.core; function openPlugin(filename) { - return core.opSync("op_open_plugin", filename); + const rid = core.opSync("op_open_plugin", filename); + core.syncOpsCache(); + return rid; } window.__bootstrap.plugins = { |