summaryrefslogtreecommitdiff
path: root/server (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: don't hardcode the websocket domain/protocolstuebinm2022-03-061-1/+2
|
* server: websocket for updates & auto-reloadstuebinm2022-03-065-84/+146
| | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
* server: add a very simple relint buttonstuebinm2022-03-065-40/+79
|
* mapserver: somewhat more decent loggingstuebinm2022-03-032-27/+30
|
* server: write out adjusted mapsstuebinm2022-02-254-23/+52
|
* switch to universum preludestuebinm2022-02-183-4/+8
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-02-173-7/+14
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-02-173-21/+33
| | | | | (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-162-19/+16
|
* server: post map updates to exneuland's APIstuebinm2022-02-162-19/+65
|
* server: remove cli-git, cli-extrasstuebinm2022-02-162-38/+56
| | | | | | | | both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
* server: add mapservice GET endpointstuebinm2022-02-165-57/+71
|
* internal state: sort according to orgstuebinm2022-02-165-41/+82
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-02-165-198/+231
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-02-163-70/+101
| | | | | | 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-154-138/+129
| | | | it's slightly less of a mess than it was before
* server: added (somewhat) sensible loggingstuebinm2022-02-122-27/+42
| | | | it's not very sensible, but at least it exists
* server: more debug outputstuebinm2022-02-111-1/+1
|
* server: admin interfacestuebinm2022-02-114-64/+117
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-02-112-47/+124
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-02-103-8/+95
|
* server: simple toml configstuebinm2022-02-072-17/+39
|
* server: proper job handlingstuebinm2022-02-073-67/+110
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-02-074-88/+126
|
* basic server setup (using servant)stuebinm2022-02-013-0/+179
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 …