server/msplanner.py
changeset 7651 7c0af7ef3325
parent 7306 a21bafe9fe35
child 7771 59ddc2dbe7e0
--- a/server/msplanner.py	Tue Jul 12 11:27:42 2011 +0200
+++ b/server/msplanner.py	Tue Jul 12 11:27:43 2011 +0200
@@ -370,7 +370,7 @@
                     eid = const.eval(self.plan.args)
                     source = self._session.source_from_eid(eid)
                     if (source is self.system_source
-                        or (hasrel and
+                        or (hasrel and varobj._q_invariant and
                             not any(source.support_relation(r.r_type)
                                     for r in varobj.stinfo['relations']
                                     if not r is rel))):