[libwnck] core: Also shutdown everything resource-related

[Vincent Untz <vuntz src gnome org>]

commit c25b6ab7c6f24f7d0d20be1c1e0a70a54b5433ee
Author: Vincent Untz <vuntz gnome org>
Date:   Mon Jan 30 14:25:50 2012 +0100

    core: Also shutdown everything resource-related

 libwnck/util.c |    5 +++++
 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 */