server/sources/native.py
changeset 3720 5376aaadd16b
parent 3647 2941f4a0aab9
parent 3689 deb13e88e037
child 3890 d7a270f50f54
equal deleted inserted replaced
3678:29f74716fd70 3720:5376aaadd16b
    69         varmap[key] = '%s.%s' % (table, name)
    69         varmap[key] = '%s.%s' % (table, name)
    70         ttype = term.get_type(solution)
    70         ttype = term.get_type(solution)
    71         try:
    71         try:
    72             sql.append('%s %s' % (name, typemap[ttype]))
    72             sql.append('%s %s' % (name, typemap[ttype]))
    73         except KeyError:
    73         except KeyError:
    74             # assert not schema(ttype).is_final()
    74             # assert not schema(ttype).final
    75             sql.append('%s %s' % (name, typemap['Int']))
    75             sql.append('%s %s' % (name, typemap['Int']))
    76     return ','.join(sql), varmap
    76     return ','.join(sql), varmap
    77 
    77 
    78 
    78 
    79 def _modified_sql(table, etypes):
    79 def _modified_sql(table, etypes):