Rename the /stats page to /admin

We're about to change this to not only report statistics, but to also
allow the admin to perform administrative functions (such as deleting
games). So give the page a better name for that.

diff --git a/lmno.js b/lmno.js
index ff66a9bda71579c180123bbd7dfabbff50836407..74687361a59fe485a9c42e44c470aea7510fb190 100644 (file)
--- a/lmno.js
+++ b/lmno.js
@@ -211,8 +211,8 @@ app.post('/login', async (request, response) => {
   return;
 });
 
-/* A stats page (only available to admin users) */
-app.get('/stats/', auth_admin, (request, response) => {
+/* An admin page (only available to admin users, of course) */
+app.get('/admin/', auth_admin, (request, response) => {
   let active = 0;
   let idle = 0;