summaryrefslogtreecommitdiff
path: root/server/Server.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: websocket for updates & auto-reloadstuebinm2022-03-191-50/+61
| | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
* server: add a very simple relint buttonstuebinm2022-03-191-7/+12
|
* server: write out adjusted mapsstuebinm2022-03-191-4/+12
|
* switch to universum preludestuebinm2022-03-191-1/+4
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-03-191-5/+12
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-03-191-4/+17
| | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
* server: exneuland wants a token, apparentlystuebinm2022-03-191-6/+9
|
* server: post map updates to exneuland's APIstuebinm2022-03-191-8/+21
|
* server: add mapservice GET endpointstuebinm2022-03-191-5/+11
|
* internal state: sort according to orgstuebinm2022-03-191-14/+50
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-03-191-59/+58
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-03-191-30/+52
| | | | | | WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
* server: switch to universum prelude, some cleanupstuebinm2022-03-191-18/+22
| | | | it's slightly less of a mess than it was before
* server: admin interfacestuebinm2022-03-191-34/+30
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-03-191-5/+6
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-03-191-1/+20
|
* server: simple toml configstuebinm2022-03-191-14/+37
|
* server: proper job handlingstuebinm2022-03-191-5/+22
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-03-191-0/+61