diff options
| -rw-r--r-- | worker/src/main.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/worker/src/main.rs b/worker/src/main.rs index a014914..f35a297 100644 --- a/worker/src/main.rs +++ b/worker/src/main.rs @@ -62,6 +62,11 @@ fn main() -> io::Result<()> { } MessageBody::NewCore(_name, libfile) => { + if ccore.is_some() { + println!("Unloading current core"); + ccore = None; + } + let path = tempdir.path().join("core.so"); let res = |