Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-03-06 | server: websocket for updates & auto-reload | stuebinm | 1 | -6/+9 | |
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | |||||
2022-03-06 | server: add a very simple relint button | stuebinm | 1 | -11/+15 | |
2022-03-03 | mapserver: somewhat more decent logging | stuebinm | 1 | -9/+7 | |
2022-02-25 | server: write out adjusted maps | stuebinm | 1 | -11/+14 | |
2022-02-17 | server: remove a thunk leak | stuebinm | 1 | -15/+13 | |
(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-16 | server: exneuland wants a token, apparently | stuebinm | 1 | -13/+7 | |
2022-02-16 | server: post map updates to exneuland's API | stuebinm | 1 | -11/+44 | |
2022-02-16 | server: remove cli-git, cli-extras | stuebinm | 1 | -4/+4 | |
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! | |||||
2022-02-16 | server: add mapservice GET endpoint | stuebinm | 1 | -4/+9 | |
2022-02-16 | internal state: sort according to org | stuebinm | 1 | -5/+8 | |
(also, more lenses i guess) | |||||
2022-02-16 | server: repositores & orgs fixed in config | stuebinm | 1 | -62/+60 | |
a very simple setup that might be usable for divoc and similar small events | |||||
2022-02-16 | … several hours of fighting with TOML later | stuebinm | 1 | -12/+16 | |
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?) | |||||
2022-02-15 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -51/+49 | |
it's slightly less of a mess than it was before | |||||
2022-02-12 | server: added (somewhat) sensible logging | stuebinm | 1 | -20/+34 | |
it's not very sensible, but at least it exists | |||||
2022-02-11 | server: more debug output | stuebinm | 1 | -1/+1 | |
2022-02-11 | server: admin interface | stuebinm | 1 | -4/+10 | |
(for now, just a list of all maps and their current status) | |||||
2022-02-10 | server: simple servant-lucid stuff | stuebinm | 1 | -7/+18 | |
2022-02-07 | server: simple toml config | stuebinm | 1 | -3/+2 | |
2022-02-07 | server: proper job handling | stuebinm | 1 | -18/+24 | |
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | |||||
2022-02-07 | non-blocking server | stuebinm | 1 | -24/+21 | |
2022-02-01 | basic server setup (using servant) | stuebinm | 1 | -0/+74 | |
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 … |