summaryrefslogtreecommitdiff
path: root/server/Worker.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: keep (one) last good result per repostuebinm2022-03-201-18/+32
| | | | | (i.e. we want to still have a valid version of the map if new results where introduced)
* remove leftover rc3 things & some new stuffstuebinm2022-03-191-11/+11
| | | | | | | | | | | | | 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!
* server: websocket for updates & auto-reloadstuebinm2022-03-191-2/+26
| | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
* server: add a very simple relint buttonstuebinm2022-03-191-3/+4
|
* mapserver: somewhat more decent loggingstuebinm2022-03-191-18/+23
|
* server: write out adjusted mapsstuebinm2022-03-191-5/+21
|
* switch to universum preludestuebinm2022-03-191-2/+3
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-03-191-0/+1
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-03-191-2/+3
| | | | | (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: remove cli-git, cli-extrasstuebinm2022-03-191-34/+52
| | | | | | | | 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-03-191-4/+8
|
* internal state: sort according to orgstuebinm2022-03-191-1/+1
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-03-191-0/+73
a very simple setup that might be usable for divoc and similar small events