diff options
author | Juan A. Suarez Romero <jasuarez@igalia.com> | 2014-02-07 20:47:32 +0000 |
---|---|---|
committer | Juan A. Suarez Romero <jasuarez@igalia.com> | 2014-02-07 22:35:12 +0000 |
commit | 27fa2aa1f9201d4f0723afe43e90cd996876c999 (patch) | |
tree | 4c8f502ac98904b70bf844d8308e559fe819791f /doc | |
parent | 0953b4a55ec0db85ed5139aa9a97b4231f72c602 (diff) | |
download | grilo-27fa2aa1f9201d4f0723afe43e90cd996876c999.tar.gz |
core: Add grl_deinit() function
Quitting without cleanly unregistering sources and plugins can leave unfreed
resources in the system.
This happens specially with the sources that open or create temporal files, but
as they are not cleanly unreffed the files are kept there.
So we are adding grl_deinit() function, which should be called by the
applications once they have finished to use Grilo. This function will cleanly
unload all the sources and plugins.
https://bugzilla.gnome.org/show_bug.cgi?id=710185
Diffstat (limited to 'doc')
-rw-r--r-- | doc/grilo/grilo-sections.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/grilo/grilo-sections.txt b/doc/grilo/grilo-sections.txt index 26b5550..c99e9fd 100644 --- a/doc/grilo/grilo-sections.txt +++ b/doc/grilo/grilo-sections.txt @@ -684,6 +684,7 @@ grl_paging_translate <FILE>grilo</FILE> grl_init grl_init_get_option_group +grl_deinit </SECTION> <SECTION> |