summaryrefslogtreecommitdiff
path: root/server (follow)
Commit message (Expand)AuthorAgeFilesLines
* server: better html outputstuebinm2022-03-201-5/+7
* server: keep (one) last good result per repostuebinm2022-03-204-41/+64
* remove leftover rc3 things & some new stuffstuebinm2022-03-192-19/+25
* server: fix an annoying spacestuebinm2022-03-191-2/+1
* server: small html improvementsstuebinm2022-03-191-3/+6
* server: don't hardcode the websocket domain/protocolstuebinm2022-03-191-1/+2
* server: websocket for updates & auto-reloadstuebinm2022-03-195-84/+146
* server: add a very simple relint buttonstuebinm2022-03-195-40/+79
* mapserver: somewhat more decent loggingstuebinm2022-03-192-27/+30
* server: write out adjusted mapsstuebinm2022-03-194-23/+52
* switch to universum preludestuebinm2022-03-193-4/+8
* sprinkle some NFData everywherestuebinm2022-03-193-7/+14
* server: remove a thunk leakstuebinm2022-03-193-21/+33
* server: exneuland wants a token, apparentlystuebinm2022-03-192-19/+16
* server: post map updates to exneuland's APIstuebinm2022-03-192-19/+65
* server: remove cli-git, cli-extrasstuebinm2022-03-192-38/+56
* server: add mapservice GET endpointstuebinm2022-03-195-57/+71
* internal state: sort according to orgstuebinm2022-03-195-41/+82
* server: repositores & orgs fixed in configstuebinm2022-03-195-198/+231
* … several hours of fighting with TOML laterstuebinm2022-03-193-70/+101
* server: switch to universum prelude, some cleanupstuebinm2022-03-194-138/+129
* server: added (somewhat) sensible loggingstuebinm2022-03-192-27/+42
* server: more debug outputstuebinm2022-03-191-1/+1
* server: admin interfacestuebinm2022-03-194-64/+117
* server: present lint results in pretty htmlstuebinm2022-03-192-47/+124
* server: simple servant-lucid stuffstuebinm2022-03-193-8/+95
* server: simple toml configstuebinm2022-03-192-17/+39
* server: proper job handlingstuebinm2022-03-193-67/+110
* non-blocking serverstuebinm2022-03-194-88/+126
* basic server setup (using servant)stuebinm2022-03-193-0/+179