diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-02-11 18:08:25 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-02-11 18:08:25 -0700 |
| commit | d5d8526cfa80b17bd2562fda06614659fc42a20a (patch) | |
| tree | 6e47e4f0f06d8d871bde21c9a7c6c312a5519c72 /harness/src/plugin.c | |
| parent | 3cbc5823a9ab63337f144395eefea5ff18eee416 (diff) | |
| download | montis-d5d8526cfa80b17bd2562fda06614659fc42a20a.tar.gz montis-d5d8526cfa80b17bd2562fda06614659fc42a20a.tar.bz2 montis-d5d8526cfa80b17bd2562fda06614659fc42a20a.zip | |
Little test to make sure unloading the plugin still works
Diffstat (limited to 'harness/src/plugin.c')
| -rw-r--r-- | harness/src/plugin.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/harness/src/plugin.c b/harness/src/plugin.c index 9b71c49..941cc01 100644 --- a/harness/src/plugin.c +++ b/harness/src/plugin.c @@ -67,6 +67,7 @@ int plugin_hot_reload(int argc, char **argv, dlhandle_t library, shx(marshalled_state, sz); if (library != plugin->library_handle) { + printf("Unloading old library handle.\n"); dlclose(plugin->library_handle); } |