diff options
| author | Vincent Untz <vuntz@gnome.org> | 2012-01-30 14:25:50 +0100 |
|---|---|---|
| committer | Vincent Untz <vuntz@gnome.org> | 2012-01-30 15:05:41 +0100 |
| commit | c25b6ab7c6f24f7d0d20be1c1e0a70a54b5433ee (patch) | |
| tree | 775960309decb2ca9cdcebd6338b05753f5af49a | |
| parent | 3f7b269ffc7bafda5f360691d2fff4c2aafe1d85 (diff) | |
| download | libwnck-c25b6ab7c6f24f7d0d20be1c1e0a70a54b5433ee.tar.gz | |
core: Also shutdown everything resource-related
| -rw-r--r-- | libwnck/util.c | 5 | ||||
| -rw-r--r-- | libwnck/util.h | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/libwnck/util.c b/libwnck/util.c index e2a434c..6416863 100644 --- a/libwnck/util.c +++ b/libwnck/util.c @@ -805,4 +805,9 @@ wnck_shutdown (void) _wnck_class_group_shutdown_all (); _wnck_application_shutdown_all (); _wnck_window_shutdown_all (); + + if (xres_removeid != 0) + g_source_remove (xres_removeid); + xres_removeid = 0; + wnck_pid_read_resource_usage_destroy_hash_table (NULL); } diff --git a/libwnck/util.h b/libwnck/util.h index ee9aa3a..5cdf367 100644 --- a/libwnck/util.h +++ b/libwnck/util.h @@ -104,6 +104,8 @@ typedef enum { void wnck_set_client_type (WnckClientType ewmh_sourceindication_client_type); +void wnck_shutdown (void); + void wnck_xid_read_resource_usage (GdkDisplay *gdk_display, gulong xid, WnckResourceUsage *usage); @@ -112,8 +114,6 @@ void wnck_pid_read_resource_usage (GdkDisplay *gdk_display, gulong pid, WnckResourceUsage *usage); -void wnck_shutdown (void); - G_END_DECLS #endif /* WNCK_UTIL_H */ |