summaryrefslogtreecommitdiff
path: root/server (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-04-04server: actually use git repository updatesstuebinm1-1/+1
before this, the server would fetch updates but then not update the corresponding reference, leading to the initial state being checked out and linted again.
2022-04-03server: fix map paths in apistuebinm2-6/+9
2022-03-28server: add a howto linkstuebinm2-2/+6
2022-03-28server: show helpful information for resultstuebinm4-43/+73
This includes the backlink to the lobby (auto-generated only for now) and a "help!"-button for sending mails. Also general info regarding which commit was linted / published.
2022-03-23server: add a "panic i'm on a train"-offline modestuebinm3-32/+56
(this also adds general cli arguments, but the main point is that downloading monstrously large repositories is a silly idea when i'm on a train with surprisingly bad wifi)
2022-03-20server: use fdp as dot layout modestuebinm1-17/+19
(though apparently there's no way to set the -LC option? would look much nicer with that …)
2022-03-20server: better html outputstuebinm1-5/+7
2022-03-20server: keep (one) last good result per repostuebinm4-41/+64
(i.e. we want to still have a valid version of the map if new results where introduced)
2022-03-19remove leftover rc3 things & some new stuffstuebinm2-19/+25
this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
2022-03-19server: fix an annoying spacestuebinm1-2/+1
2022-03-19server: small html improvementsstuebinm1-3/+6
bootstrap is horrible and should be replaced
2022-03-19server: don't hardcode the websocket domain/protocolstuebinm1-1/+2
2022-03-19server: websocket for updates & auto-reloadstuebinm5-84/+146
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-19server: add a very simple relint buttonstuebinm5-40/+79
2022-03-19mapserver: somewhat more decent loggingstuebinm2-27/+30
2022-03-19server: write out adjusted mapsstuebinm4-23/+52
2022-03-19switch to universum preludestuebinm3-4/+8
also don't keep adjusted maps around if not necessary
2022-03-19sprinkle some NFData everywherestuebinm3-7/+14
(also some evaluateNF, leading to slightly less memory usage)
2022-03-19server: remove a thunk leakstuebinm3-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)
2022-03-19server: exneuland wants a token, apparentlystuebinm2-19/+16
2022-03-19server: post map updates to exneuland's APIstuebinm2-19/+65
2022-03-19server: remove cli-git, cli-extrasstuebinm2-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!
2022-03-19server: add mapservice GET endpointstuebinm5-57/+71
2022-03-19internal state: sort according to orgstuebinm5-41/+82
(also, more lenses i guess)
2022-03-19server: repositores & orgs fixed in configstuebinm5-198/+231
a very simple setup that might be usable for divoc and similar small events
2022-03-19… several hours of fighting with TOML laterstuebinm3-70/+101
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-03-19server: switch to universum prelude, some cleanupstuebinm4-138/+129
it's slightly less of a mess than it was before
2022-03-19server: added (somewhat) sensible loggingstuebinm2-27/+42
it's not very sensible, but at least it exists
2022-03-19server: more debug outputstuebinm1-1/+1
2022-03-19server: admin interfacestuebinm4-64/+117
(for now, just a list of all maps and their current status)
2022-03-19server: present lint results in pretty htmlstuebinm2-47/+124
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19server: simple servant-lucid stuffstuebinm3-8/+95
2022-03-19server: simple toml configstuebinm2-17/+39
2022-03-19server: proper job handlingstuebinm3-67/+110
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19non-blocking serverstuebinm4-88/+126
2022-03-19basic server setup (using servant)stuebinm3-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 …