| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | server: websocket for updates & auto-reload | stuebinm | 2022-03-06 | 1 | -50/+61 |
| | | | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | ||||
| * | server: add a very simple relint button | stuebinm | 2022-03-06 | 1 | -7/+12 |
| | | |||||
| * | server: write out adjusted maps | stuebinm | 2022-02-25 | 1 | -4/+12 |
| | | |||||
| * | switch to universum prelude | stuebinm | 2022-02-18 | 1 | -1/+4 |
| | | | | | also don't keep adjusted maps around if not necessary | ||||
| * | sprinkle some NFData everywhere | stuebinm | 2022-02-17 | 1 | -5/+12 |
| | | | | | (also some evaluateNF, leading to slightly less memory usage) | ||||
| * | server: remove a thunk leak | stuebinm | 2022-02-17 | 1 | -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) | ||||
| * | server: exneuland wants a token, apparently | stuebinm | 2022-02-16 | 1 | -6/+9 |
| | | |||||
| * | server: post map updates to exneuland's API | stuebinm | 2022-02-16 | 1 | -8/+21 |
| | | |||||
| * | server: add mapservice GET endpoint | stuebinm | 2022-02-16 | 1 | -5/+11 |
| | | |||||
| * | internal state: sort according to org | stuebinm | 2022-02-16 | 1 | -14/+50 |
| | | | | | (also, more lenses i guess) | ||||
| * | server: repositores & orgs fixed in config | stuebinm | 2022-02-16 | 1 | -59/+58 |
| | | | | | a very simple setup that might be usable for divoc and similar small events | ||||
| * | … several hours of fighting with TOML later | stuebinm | 2022-02-16 | 1 | -30/+52 |
| | | | | | | | 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 cleanup | stuebinm | 2022-02-15 | 1 | -18/+22 |
| | | | | | it's slightly less of a mess than it was before | ||||
| * | server: admin interface | stuebinm | 2022-02-11 | 1 | -34/+30 |
| | | | | | (for now, just a list of all maps and their current status) | ||||
| * | server: present lint results in pretty html | stuebinm | 2022-02-11 | 1 | -5/+6 |
| | | | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub) | ||||
| * | server: simple servant-lucid stuff | stuebinm | 2022-02-10 | 1 | -1/+20 |
| | | |||||
| * | server: simple toml config | stuebinm | 2022-02-07 | 1 | -14/+37 |
| | | |||||
| * | server: proper job handling | stuebinm | 2022-02-07 | 1 | -5/+22 |
| | | | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | ||||
| * | non-blocking server | stuebinm | 2022-02-07 | 1 | -0/+61 |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |