summaryrefslogtreecommitdiff
path: root/server/Server.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
8 daysuniversum's microlens exports are deprecatedstuebinm1-2/+3
unfortunately, there seems to be no better way than hiding them manually, so this code will still break once they remove them.
2023-10-24a year went bystuebinm1-21/+10
This does many meta-things, but changes no functionality: - get rid of stack, and use just cabal with a stackage snapshot instead (why did I ever think stack was a good idea?) - update the stackage snapshot to something halfway recent - thus making builds work on nixpkgs-23.05 (current stable) - separating out packages into their own cabal files - use the GHC2021 set of extensions as default - very slight code changes to make things build again - update readme accordingly - stylish-haskell run
2022-10-11code formatterstuebinm1-1/+1
2022-10-11use template haskell aeson, not genericsstuebinm1-3/+3
this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
2022-04-14mapserver: symlink outdirs to human-readable pathsstuebinm1-0/+2
(meant for use of this server without exneuland / the whole map resolution api on a dump simple workadventure backend)
2022-04-03server: fix map paths in apistuebinm1-3/+6
2022-03-28server: add a howto linkstuebinm1-0/+2
2022-03-28server: show helpful information for resultstuebinm1-7/+11
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 modestuebinm1-4/+13
(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: keep (one) last good result per repostuebinm1-15/+24
(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 stuffstuebinm1-8/+14
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: websocket for updates & auto-reloadstuebinm1-50/+61
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-19server: add a very simple relint buttonstuebinm1-7/+12
2022-03-19server: write out adjusted mapsstuebinm1-4/+12
2022-03-19switch to universum preludestuebinm1-1/+4
also don't keep adjusted maps around if not necessary
2022-03-19sprinkle some NFData everywherestuebinm1-5/+12
(also some evaluateNF, leading to slightly less memory usage)
2022-03-19server: 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-03-19server: exneuland wants a token, apparentlystuebinm1-6/+9
2022-03-19server: post map updates to exneuland's APIstuebinm1-8/+21
2022-03-19server: add mapservice GET endpointstuebinm1-5/+11
2022-03-19internal state: sort according to orgstuebinm1-14/+50
(also, more lenses i guess)
2022-03-19server: repositores & orgs fixed in configstuebinm1-59/+58
a very simple setup that might be usable for divoc and similar small events
2022-03-19… 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-03-19server: switch to universum prelude, some cleanupstuebinm1-18/+22
it's slightly less of a mess than it was before
2022-03-19server: admin interfacestuebinm1-34/+30
(for now, just a list of all maps and their current status)
2022-03-19server: present lint results in pretty htmlstuebinm1-5/+6
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19server: simple servant-lucid stuffstuebinm1-1/+20
2022-03-19server: simple toml configstuebinm1-14/+37
2022-03-19server: proper job handlingstuebinm1-5/+22
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19non-blocking serverstuebinm1-4/+20
2022-03-19basic 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 …
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 19:52:56 +0000