summaryrefslogtreecommitdiff
path: root/server/Server.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-03-06server: websocket for updates & auto-reloadstuebinm1-50/+61
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-06server: add a very simple relint buttonstuebinm1-7/+12
2022-02-25server: write out adjusted mapsstuebinm1-4/+12
2022-02-18switch to universum preludestuebinm1-1/+4
also don't keep adjusted maps around if not necessary
2022-02-17sprinkle some NFData everywherestuebinm1-5/+12
(also some evaluateNF, leading to slightly less memory usage)
2022-02-17server: remove a thunk leakstuebinm1-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)
2022-02-16server: exneuland wants a token, apparentlystuebinm1-6/+9
2022-02-16server: post map updates to exneuland's APIstuebinm1-8/+21
2022-02-16server: add mapservice GET endpointstuebinm1-5/+11
2022-02-16internal state: sort according to orgstuebinm1-14/+50
(also, more lenses i guess)
2022-02-16server: repositores & orgs fixed in configstuebinm1-59/+58
a very simple setup that might be usable for divoc and similar small events
2022-02-16… several hours of fighting with TOML laterstuebinm1-30/+52
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-02-15server: switch to universum prelude, some cleanupstuebinm1-18/+22
it's slightly less of a mess than it was before
2022-02-11server: admin interfacestuebinm1-34/+30
(for now, just a list of all maps and their current status)
2022-02-11server: present lint results in pretty htmlstuebinm1-5/+6
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-02-10server: simple servant-lucid stuffstuebinm1-1/+20
2022-02-07server: simple toml configstuebinm1-14/+37
2022-02-07server: proper job handlingstuebinm1-5/+22
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-02-07non-blocking serverstuebinm1-4/+20
2022-02-01basic server setup (using servant)stuebinm1-0/+45
adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …