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/templates/org_submit_list.html

@@ -3,6 +3,7 @@
 {% set allow_edit_points=rights.can_edit_points() %}
 {% set allow_upload_solutions=rights.can_upload_solutions() %}
 {% set allow_upload_feedback=rights.can_upload_feedback() %}
+{% set allow_create_solutions=rights.can_create_solutions() %}
 
 {% block title %}{{ ctx.user.full_name() }} – řešení úlohy {{ ctx.task.code }} {{ ctx.task.name }}{% endblock %}
 {% block breadcrumbs %}
@@ -188,6 +189,7 @@ Existuje více než jedna verze oprav, finální je podbarvená.
 		{{ wtf.form_field(form.note, form_type='horizontal', horizontal_columns=('sm', 2, 10), rows=4)}}
 		{{ wtf.form_field(form.org_note, form_type='horizontal', horizontal_columns=('sm', 2, 10), rows=4 )}}
 		{{ wtf.form_field(form.points, form_type='horizontal', horizontal_columns=('sm', 2, 10) )}}
+		{{ wtf.form_field(form.is_empty, form_type='horizontal', horizontal_columns=('sm', 2, 10) )}}
 		{{ wtf.form_field(
 			form.submit, form_type='horizontal', class='btn btn-primary', horizontal_columns=('sm', 2, 10),
 			value=action + (' bez nahrání souboru' if allow_upload_feedback or allow_upload_solutions else '')
@@ -224,8 +226,24 @@ Existuje více než jedna verze oprav, finální je podbarvená.
 	{{ wtf.form_field(form.delete, class='btn btn-danger') }}
 </div>
 {% endif %}
+
 </form>
 
+<script type="text/javascript">
+	const in_points = document.getElementById("points")
+	const in_is_empty = document.getElementById("is_empty")
+
+	function update_is_empty() {
+		in_points.disabled = in_is_empty.checked;
+	}
+
+	in_is_empty.onchange = update_is_empty;
+
+	window.addEventListener("load", function() {
+		update_is_empty();
+	});
+</script>
+
 {% endif %}
 
 {% endblock %}