diff options
author | Florian Jung <flo@thinkpad.(none)> | 2011-01-11 16:46:38 +0100 |
---|---|---|
committer | Florian Jung <flo@thinkpad.(none)> | 2011-01-11 16:57:57 +0100 |
commit | 8201450efc105691e343c50b4eab946f7b0ee038 (patch) | |
tree | 70c0dd8c26740db888a7e7d096a6be7b1ed85353 /synth/shared_object_manager.h | |
parent | db04e2fb861ed7ccef5a7339e9860ca5c2590a7c (diff) |
Now keeping track of unused shared objects and maybe unloading them
Diffstat (limited to 'synth/shared_object_manager.h')
-rw-r--r-- | synth/shared_object_manager.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/synth/shared_object_manager.h b/synth/shared_object_manager.h new file mode 100644 index 0000000..5927408 --- /dev/null +++ b/synth/shared_object_manager.h @@ -0,0 +1,8 @@ +#ifndef __SHARED_OBJECT_MANAGER__ +#define __SHARED_OBJECT_MANAGER__ + +void* my_dlopen(string file); +void dlref_inc(void* handle); +void dlref_dec(void* handle); + +#endif |