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 /cli/ops/mod.rs | |
| parent | a3f82c3d5ec3caad1d4ec74f49ef11adc45807d6 (diff) | |
Change plugin interface to prevent segfaults when unloading plugin (#5210)
Fixes: #3473
Closes: #5193
Diffstat (limited to 'cli/ops/mod.rs')
| -rw-r--r-- | cli/ops/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/ops/mod.rs b/cli/ops/mod.rs index b91a61c3a..a53e5ac16 100644 --- a/cli/ops/mod.rs +++ b/cli/ops/mod.rs @@ -19,7 +19,7 @@ pub mod net; mod net_unix; pub mod os; pub mod permissions; -pub mod plugins; +pub mod plugin; pub mod process; pub mod random; pub mod repl; |