Hledání na orgovské hlavní stránce

Původní formulář na hledání místa jsem zrušil, protože už máme lepší
hledání v sekci Místa.

Adminské hledání user IDček jsem nahradil obecnějším hledátkem
objektů podle ID pro adminy.

mo/web/org.py

 from collections import defaultdict
 from dataclasses import dataclass, field
 from flask import render_template, redirect, url_for, request, flash, g
+import re
 from sqlalchemy import and_, or_, tuple_, not_
 from sqlalchemy.orm import aliased, joinedload
 from typing import List, Set, Optional, Tuple, DefaultDict
@@ -39,15 +40,11 @@ def org_index():
         else:
             flash(f'Místo s kódem {code} neexistuje', 'danger')
 
-    if 'uid' in request.args:
-        try:
-            uid = int(request.args['uid'])
-            user = mo.users.user_by_uid(uid)
-            if user is not None:
-                return redirect(user_url(user))
-            flash(f'Uživatel s ID {uid} neexistuje', 'danger')
-        except ValueError:
-            flash('ID uživatele musí být číslo', 'danger')
+    # Univerzální hledátko pro správce
+    if 'search' in request.args:
+        search_result = magic_search(request.args['search'])
+        if search_result is not None:
+            return search_result
 
     # Soutěže, ke kterým máme nějakou roli
     sess = db.get_session()
@@ -220,6 +217,35 @@ school_export_columns = (
 )
 
 
+def magic_search(query: str):
+    search = re.fullmatch(r'([cpru])(\d{1,9})', request.args['search'])
+    if not search:
+        flash('Chybná syntaxe dotazu', 'danger')
+        return None
+    what, id = search[1], int(search[2])
+    sess = db.get_session()
+
+    if what == 'c':
+        contest = sess.query(db.Contest).get(id)
+        if contest is not None:
+            return redirect(url_for('org_contest', ct_id=id))
+    elif what == 'p':
+        place = sess.query(db.Place).get(id)
+        if place is not None:
+            return redirect(url_for('org_place', id=id))
+    elif what == 'r':
+        round = sess.query(db.Round).get(id)
+        if round is not None:
+            return redirect(url_for('org_round', round_id=id))
+    elif what == 'u':
+        user = mo.users.user_by_uid(id)
+        if user is not None:
+            return redirect(user_url(user))
+
+    flash('Nenalezeno', 'danger')
+    return None
+
+
 @app.route('/org/export/schools')
 def org_export_schools():
     sess = db.get_session()

mo/web/templates/org_index.html

@@ -80,17 +80,15 @@
 
 {% endif %}
 
-<h3>Rychlé hledání</h3>
-
-<form method=GET action="" class='form form-inline' role=form>
-	<input class='form-control' name=place placeholder='Kód místa'></input>
-	<input class='btn btn-primary' type="submit" value='Vyhledat'>
-</form>
 {% if g.user.is_admin %}
+
+<h3>Univerzální hledátko</h3>
+
 <form method=GET action="" class='form form-inline' role=form>
-	<input class='form-control' name=uid placeholder='ID uživatele'></input>
+	<input class='form-control' name=search placeholder='cID pID rID uID' autofocus></input>
 	<input class='btn btn-primary' type="submit" value='Vyhledat'>
 </form>
+
 {% endif %}
 
 {% endblock %}