diff options
| author | Bert Belder <bertbelder@gmail.com> | 2020-05-11 20:20:14 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2020-05-11 22:39:13 +0200 |
| commit | 3cccadcf0fbfc7ff4e7dd37299a65bea1cf0eab0 (patch) | |
| tree | 58c198d0222b942b8bd1321e1423eaaebd909795 /core/lib.rs | |
| parent | a3f82c3d5ec3caad1d4ec74f49ef11adc45807d6 (diff) | |
Change plugin interface to prevent segfaults when unloading plugin (#5210)
Fixes: #3473
Closes: #5193
Diffstat (limited to 'core/lib.rs')
| -rw-r--r-- | core/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/lib.rs b/core/lib.rs index 661640910..ffccc8feb 100644 --- a/core/lib.rs +++ b/core/lib.rs @@ -17,6 +17,7 @@ mod js_errors; mod module_specifier; mod modules; mod ops; +pub mod plugin_api; mod resources; mod shared_queue; |