summaryrefslogtreecommitdiff
path: root/server/Server.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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