server/sources/__init__.py
changeset 2627 d710278e0c1c
parent 2625 d6012db7b93e
child 2650 18aec79ec3a3
--- a/server/sources/__init__.py	Sat Aug 01 16:14:55 2009 +0200
+++ b/server/sources/__init__.py	Sat Aug 01 16:16:06 2009 +0200
@@ -313,8 +313,7 @@
         .executemany().
         """
         res = self.syntax_tree_search(session, union, args, varmap=varmap)
-        session.pool.source('system')._manual_insert(res, table, session)
-
+        session.pool.source('system').manual_insert(res, table, session)
 
     # system source don't have to implement the two methods below