diff -r e297294dff12 -r d710278e0c1c server/sources/__init__.py --- 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