Skip to content
Snippets Groups Projects

Prázdné protokoly

Merged Martin Mareš requested to merge mj/points into devel
1 file
+ 1
0
Compare changes
  • Side-by-side
  • Inline
+ 1
0
@@ -230,6 +230,7 @@ class Score:
sols: List[db.Solution] = sess.query(db.Solution).filter(
db.Solution.user_id.in_(user_id_subq),
db.Solution.task_id.in_(task_ids),
db.Solution.is_empty == False
).all()
for sol in sols:
if sol.user_id in self._results:
Loading