# HG changeset patch # User Sylvain Thénault # Date 1249136166 -7200 # Node ID d710278e0c1c2bd9d4ff395e31520fbf3e8ab7b3 # Parent e297294dff126e329c9cc27b45d8bc8f6c956135 manual_insert is a public method 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 diff -r e297294dff12 -r d710278e0c1c server/sources/native.py --- a/server/sources/native.py Sat Aug 01 16:14:55 2009 +0200 +++ b/server/sources/native.py Sat Aug 01 16:16:06 2009 +0200 @@ -349,7 +349,7 @@ query = 'INSERT INTO %s %s' % (table, sql.encode(self.encoding)) self.doexec(session, query, self.merge_args(args, query_args)) - def _manual_insert(self, results, table, session): + def manual_insert(self, results, table, session): """insert given result into a temporary table on the system source""" if server.DEBUG & server.DBG_RQL: print ' manual insertion of', res, 'into', table