[no subject]

[Ricardo Wurmus]

branch: master
commit 647f3961fa18bcb87f1ae9b6531644ba147dec72
Author: Ricardo Wurmus <address@hidden>
Date:   Wed Oct 30 13:00:14 2019 +0100

    http: Add route for /admin.
    
    * src/cuirass/http.scm (url-handler): Handle /admin route.
---
 src/cuirass/http.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/cuirass/http.scm b/src/cuirass/http.scm
index d1362b5..7579e1a 100644
--- a/src/cuirass/http.scm
+++ b/src/cuirass/http.scm
@@ -284,6 +284,12 @@ Hydra format."
                     "Cuirass [Admin]"
                     (specifications-table (db-get-specifications) 'admin)
                     '())))
+    (('GET "admin")
+     (respond-html (html-page
+                    "Cuirass [Admin]"
+                    `(ul (li (a (@ (href "/admin/specifications"))
+                                "Edit specifications")))
+                    '())))
     (('GET (or "jobsets" "specifications") . rest)
      (respond-json (object->json-string
                     (list->vector (db-get-specifications)))))