server/sources/__init__.py
changeset 3720 5376aaadd16b
parent 3674 387d51af966d
parent 3689 deb13e88e037
child 4204 60256056bda6
--- a/server/sources/__init__.py	Thu Oct 15 11:20:26 2009 +0200
+++ b/server/sources/__init__.py	Mon Oct 19 15:16:41 2009 +0200
@@ -168,7 +168,7 @@
             wsupport = self.support_relations[rtype]
         except KeyError:
             rschema = self.schema.rschema(rtype)
-            if not rschema.is_final() or rschema == 'has_text':
+            if not rschema.final or rschema == 'has_text':
                 return False
             for etype in rschema.subjects():
                 try:
@@ -225,7 +225,7 @@
         # delete relations referencing one of those eids
         eidcolum = SQL_PREFIX + 'eid'
         for rschema in self.schema.relations():
-            if rschema.is_final() or rschema.type in VIRTUAL_RTYPES:
+            if rschema.final or rschema.type in VIRTUAL_RTYPES:
                 continue
             if rschema.inlined:
                 column = SQL_PREFIX + rschema.type