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))):