summaryrefslogtreecommitdiff
path: root/server/Server.hs (unfollow)
Commit message (Expand)AuthorFilesLines
8 daysuniversum's microlens exports are deprecatedstuebinm1-2/+3
2023-10-24a year went bystuebinm1-21/+10
2022-10-11code formatterstuebinm1-1/+1
2022-10-11use template haskell aeson, not genericsstuebinm1-3/+3
2022-04-14mapserver: symlink outdirs to human-readable pathsstuebinm1-0/+2
2022-04-03server: fix map paths in apistuebinm1-3/+6
2022-03-28server: add a howto linkstuebinm1-0/+2
2022-03-28server: show helpful information for resultstuebinm1-7/+11
2022-03-23server: add a "panic i'm on a train"-offline modestuebinm1-4/+13
2022-03-20server: keep (one) last good result per repostuebinm1-15/+24
2022-03-19remove leftover rc3 things & some new stuffstuebinm1-8/+14
2022-03-19server: websocket for updates & auto-reloadstuebinm1-50/+61
2022-03-19server: add a very simple relint buttonstuebinm1-7/+12
2022-03-19server: write out adjusted mapsstuebinm1-4/+12
2022-03-19switch to universum preludestuebinm1-1/+4
2022-03-19sprinkle some NFData everywherestuebinm1-5/+12
2022-03-19server: remove a thunk leakstuebinm1-4/+17
2022-03-19server: exneuland wants a token, apparentlystuebinm1-6/+9
2022-03-19server: post map updates to exneuland's APIstuebinm1-8/+21
2022-03-19server: add mapservice GET endpointstuebinm1-5/+11
2022-03-19internal state: sort according to orgstuebinm1-14/+50
2022-03-19server: repositores & orgs fixed in configstuebinm1-59/+58
2022-03-19… several hours of fighting with TOML laterstuebinm1-30/+52
2022-03-19server: switch to universum prelude, some cleanupstuebinm1-18/+22
2022-03-19server: admin interfacestuebinm1-34/+30
2022-03-19server: present lint results in pretty htmlstuebinm1-5/+6
2022-03-19server: simple servant-lucid stuffstuebinm1-1/+20
2022-03-19server: simple toml configstuebinm1-14/+37
2022-03-19server: proper job handlingstuebinm1-5/+22
2022-03-19non-blocking serverstuebinm1-4/+20
2022-03-19basic server setup (using servant)stuebinm1-0/+45
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:28:31 +0000