summaryrefslogtreecommitdiff
path: root/server/Server.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: add a very simple relint buttonstuebinm2022-03-061-7/+12
|
* server: write out adjusted mapsstuebinm2022-02-251-4/+12
|
* switch to universum preludestuebinm2022-02-181-1/+4
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-02-171-5/+12
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-02-171-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-02-161-6/+9
|
* server: post map updates to exneuland's APIstuebinm2022-02-161-8/+21
|
* server: add mapservice GET endpointstuebinm2022-02-161-5/+11
|
* internal state: sort according to orgstuebinm2022-02-161-14/+50
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-02-161-59/+58
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-02-161-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-02-151-18/+22
| | | | it's slightly less of a mess than it was before
* server: admin interfacestuebinm2022-02-111-34/+30
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-02-111-5/+6
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-02-101-1/+20
|
* server: simple toml configstuebinm2022-02-071-14/+37
|
* server: proper job handlingstuebinm2022-02-071-5/+22
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-02-071-0/+61