diff options
author | stuebinm | 2022-02-10 18:12:06 +0100 |
---|---|---|
committer | stuebinm | 2022-02-11 22:25:09 +0100 |
commit | a50ad3901377b30c5188ff3ebd519f8b0457c5eb (patch) | |
tree | 568c45f71cb047d5f50d82e3452998b9d2dd8dec /server/Server.hs | |
parent | 485af1d460be0979b7093da307f379ef088a98db (diff) |
server: present lint results in pretty html
(this is mostly a rewrite / translation of the django templates built
into rc3's hub)
Diffstat (limited to '')
-rw-r--r-- | server/Server.hs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/server/Server.hs b/server/Server.hs index 536350f..ac79237 100644 --- a/server/Server.hs +++ b/server/Server.hs @@ -75,16 +75,17 @@ instance ToHtml JobStatus where toHtml status = html_ $ do head_ $ do title_ "Job Status" - link_ [rel_ "stylesheet", type_ "text/css", href_ "/styles.css"] - body_ $ div_ [class_ "main-content"] $ case status of + link_ [rel_ "stylesheet", type_ "text/css", href_ "/bootstrap.min.css" ] + link_ [rel_ "stylesheet", type_ "text/css", href_ "/style.css" ] + body_ $ main_ [class_ "main-content"] $ case status of Pending -> do - h2_ "Pending …" + h1_ "Pending …" p_ "(please note that this site won't auto-reload, you'll have to refresh it yourself)" Linted res -> do - p_ "Linted" + h1_ "Linter Result" toHtml res Failed err -> do - h2_ "System Error" + h1_ "System Error" p_ $ "error: " <> toHtml err p_ "you should probably ping an admin about this or sth" |