Prázdné protokoly

Implementace #277 (closed): protokol je místo obodování možné prohlásit za prázdný.

Prázdná řešení mají vždy 0 bodů, ale je u nich nastaven speciální flag. Ve výpisu řešení je označujeme symbolem prázdné množiny, ve výsledkovkách se chovají stejně jako neodevzdaná řešení.

Také jsem doplnil editaci bodů spolu se zakládáním řešení i do přehledové stránky řešení všech úloh v soutěži.

A nakonec jsem sjednotil implementace editace bodů a zakládání řešení (všechna řešení v soutěži, všechna řešení úlohy, detail řešení, import bodů), aby používaly společný back-end.

Mergenu to, aby mohl Tomáš testovat, ale i tak budu rád, když se na to podíváte.

mo/web/jinja.py

@@ -11,7 +11,9 @@ import urllib.parse
 import mo.config as config
 import mo.db as db
 import mo.place_level
+import mo.points
 from mo.rights import Right
+from mo.util import assert_not_none
 import mo.util_format as util_format
 from mo.web import app
 from mo.web.org_place import place_breadcrumbs
@@ -139,19 +141,19 @@ def user_flags(u: db.User) -> Markup:
 
 @app.template_filter()
 def sol_editable_points(s: Optional[db.Solution]) -> str:
-    if s is None:
-        return 'X'
-    elif s.points is None:
-        return ""
-    else:
-        return util_format.format_decimal(s.points)
+    return mo.points.format_sol_editable_points(s)
 
 
 @app.template_filter()
-def sol_display_points(s: Optional[db.Solution]) -> Union[str, Markup]:
+def sol_display_points(s: Optional[db.Solution], user: bool = False) -> Union[str, Markup]:
     if s is None:
         return '–'
+    elif s.is_empty:
+        return Markup('<span title="Prázdný protokol">∅</span>')
     elif s.points is None:
+        if user:
+            return '–'
+        else:
             return Markup('<span class="unknown">?</span>')
     else:
-        return util_format.format_decimal(s.points)
+        return assert_not_none(util_format.format_decimal(s.points))