server/utils.py
changeset 8696 0bb18407c053
parent 8550 63260486de89
child 8887 7920f439f383
equal deleted inserted replaced
8695:358d8bed9626 8696:0bb18407c053
    91     return rloop(seqin, [])
    91     return rloop(seqin, [])
    92 
    92 
    93 
    93 
    94 def cleanup_solutions(rqlst, solutions):
    94 def cleanup_solutions(rqlst, solutions):
    95     for sol in solutions:
    95     for sol in solutions:
    96         for vname in sol.keys():
    96         for vname in list(sol):
    97             if not (vname in rqlst.defined_vars or vname in rqlst.aliases):
    97             if not (vname in rqlst.defined_vars or vname in rqlst.aliases):
    98                 del sol[vname]
    98                 del sol[vname]
    99 
    99 
   100 
   100 
   101 def eschema_eid(session, eschema):
   101 def eschema_eid(session, eschema):