gmain: child sources must always have same priority as parent

A child source does not have a priority of its own; it must have the
same priority as its parent. Enforce this in
g_source_set_priority_unlocked().

https://bugzilla.gnome.org/show_bug.cgi?id=619329

diff --git a/glib/gmain.c b/glib/gmain.c
index 2417680..60554f5 100644 (file)
--- a/glib/gmain.c
+++ b/glib/gmain.c
@@ -1367,6 +1367,9 @@ g_source_set_priority_unlocked (GSource      *source,
 {
   GSList *tmp_list;
   
+  g_return_if_fail (source->priv->parent_source == NULL ||
+                   source->priv->parent_source->priority == priority);
+
   source->priority = priority;
 
   if (context)