add a new stats page

2021-11-26 21:57:48 -08:00
parent 6a0ff6a9bf
commit 47fba66712
4 changed files with 48 additions and 8 deletions
@@ -20,10 +20,11 @@ var user = {{ user | tojson }};

 <body>
 <div id="header">
-    <a href="/">arxiv-sanity</a>
+    <a href="/" id="home-link">arxiv-sanity</a>
    <a href="/profile" id="login-link">
        {{ 'profile' if user else 'login' }}
    </a>
+    <a href="/stats" id="stats-link">stats</a>
 </div>

 {% block content %}
@@ -0,0 +1,16 @@
+{% extends "base.html" %}
+
+{% block variables %}
+{% endblock %}
+
+{% block content %}
+<div id="statswrap">
+    <div><b>Current database index:</b></div>
+    <div>Number of papers: {{ num_papers }}</div>
+    <div>Earliest paper: {{ earliest_paper }}</div>
+    <div>Latest paper: {{ latest_paper }}</div>
+</div>
+{% endblock %}
+
+{% block elements %}
+{% endblock %}