Add an error page for unknown commits

This commit is contained in:
Christopher Baines 2019-02-08 11:27:07 +00:00
parent 0a49c0a84a
commit 552723cef1
Signed by: cbaines
GPG key ID: 5E28A33B0B84F577
3 changed files with 40 additions and 30 deletions

View file

@ -24,7 +24,7 @@
#:use-module (srfi srfi-19)
#:export (index
compare
unknown
compare-unknown-commit
error-page))
(define* (header)
@ -226,14 +226,13 @@
(td ,version))))
other-changes)))))))))
(define (unknown id)
(define (compare-unknown-commit commit)
(layout
#:body
`(,(header)
(div (@ (class "container"))
(h1 "Patch not found")
(p "There is no submission with id " (strong ,id))
(p (a (@ (href "/")) "Try another one?"))))))
(h1 "Unknown commit")
(p "No known revision with commit " (strong (samp ,commit)))))))
(define (error-page message)
(layout