summaryrefslogtreecommitdiff
path: root/server/Main.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-24a year went bystuebinm1-10/+4
2022-03-28server: show helpful information for resultstuebinm1-8/+7
2022-03-23server: add a "panic i'm on a train"-offline modestuebinm1-5/+13
2022-03-19server: websocket for updates & auto-reloadstuebinm1-6/+9
2022-03-19server: add a very simple relint buttonstuebinm1-11/+15
2022-03-19mapserver: somewhat more decent loggingstuebinm1-9/+7
2022-03-19server: write out adjusted mapsstuebinm1-11/+14
2022-03-19server: remove a thunk leakstuebinm1-15/+13
2022-03-19server: exneuland wants a token, apparentlystuebinm1-13/+7
2022-03-19server: post map updates to exneuland's APIstuebinm1-11/+44
2022-03-19server: remove cli-git, cli-extrasstuebinm1-4/+4
2022-03-19server: add mapservice GET endpointstuebinm1-4/+9
2022-03-19internal state: sort according to orgstuebinm1-5/+8
2022-03-19server: repositores & orgs fixed in configstuebinm1-62/+60
2022-03-19… several hours of fighting with TOML laterstuebinm1-12/+16
2022-03-19server: switch to universum prelude, some cleanupstuebinm1-51/+49
2022-03-19server: added (somewhat) sensible loggingstuebinm1-20/+34
2022-03-19server: more debug outputstuebinm1-1/+1
2022-03-19server: admin interfacestuebinm1-4/+10
2022-03-19server: simple servant-lucid stuffstuebinm1-7/+18
2022-03-19server: simple toml configstuebinm1-3/+2
2022-03-19server: proper job handlingstuebinm1-18/+24
2022-03-19non-blocking serverstuebinm1-24/+21
2022-03-19basic server setup (using servant)stuebinm1-0/+74
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 22:53:26 +0000