Added templates for searching.

gameserver/templatetags/common_tags.py

@@ -9,11 +9,16 @@ def debug():
     return settings.DEBUG
 
 
-@register.filter
+@register.simple_tag
 def startswith(string, substring):
     return string.startswith(substring)
 
 
+@register.simple_tag
+def endswith(string, substring):
+    return string.endswith(substring)
+
+
 @register.filter
 def split(string, split_char=" "):
     return string.split(split_char)

gameserver/templatetags/search.py

@@ -0,0 +1,19 @@
+import re
+
+from django import template
+from django.shortcuts import resolve_url
+
+register = template.Library()
+
+
+@register.filter
+def get_search_page(request):
+    if request.path in ["/users/", "/users"]:
+        return resolve_url("user_list")
+    elif match := re.fullmatch(r"^/contest/([^/]+)/scoreboard/organization/([^/]+$)", request.path):
+        return resolve_url(
+            "contest_organization_scoreboard", contest_slug=match.group(1), org_slug=match.group(2)
+        )
+    elif match := re.fullmatch(r"^/contest/([^/]+)/scoreboard$", request.path):
+        return resolve_url("contest_scoreboard", slug=match.group(1))
+    return

templates/contest/scoreboard.html

@@ -5,6 +5,9 @@
 {% block heading %}{% if org %}{{ org.short_name }} {% endif %}Scoreboard for
     <a href="{{ contest.get_absolute_url }}">{{ contest }}</a>{% endblock %}
 
+{% block top %}
+    {% include 'snippets/search.html' %}
+{% endblock top %}
 {% block th %}
     <th scope="col">Rank</th>
     <th scope="col">Name</th>

templates/snippets/search.html

@@ -0,0 +1,12 @@
+{% load search %}
+
+<form method="GET" action="{{ request|get_search_page }}">
+    <div class="input-group mb-3">
+        <input type="text" class="form-control" placeholder="Search" name="q" value="{{ request.GET.search }}">
+        <div class="input-group-append">
+            <button class="btn btn-outline-secondary"
+                    style="border-bottom-left-radius: 0; border-top-left-radius: 0" type="submit">Search
+            </button>
+        </div>
+    </div>
+</form>

templates/table-list.html

@@ -2,6 +2,8 @@
 
 {% block content %}
     <div class="row mw-100">
+        {% block top %}
+        {% endblock %}
         <div class="col">
             {% block before_table %}
             {% endblock %}

templates/user/list.html

@@ -1,5 +1,9 @@
 {% extends 'table-list.html' %}
 
+{% block top %}
+{% include 'snippets/search.html' %}
+{% endblock top %}
+
 {% block th %}
     <th scope="col">Rank</th>
     <th scope="col">Username</th>