From 532f463eaf48d6a560977fd64479cfa05433162e Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@gnome.org>
Date: Wed, 11 Apr 2012 10:22:45 -0400
Subject: [PATCH] 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
---
 glib/gmain.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/glib/gmain.c b/glib/gmain.c
index 2417680..60554f5 100644
--- 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)
-- 
2.7.4