| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-03-19 | server: don't hardcode the websocket domain/protocol | stuebinm | 1 | -1/+2 | |
| 2022-03-19 | server: websocket for updates & auto-reload | stuebinm | 5 | -84/+146 | |
| todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | |||||
| 2022-03-19 | server: add a very simple relint button | stuebinm | 5 | -40/+79 | |
| 2022-03-19 | mapserver: somewhat more decent logging | stuebinm | 2 | -27/+30 | |
| 2022-03-19 | server: write out adjusted maps | stuebinm | 4 | -23/+52 | |
| 2022-03-19 | switch to universum prelude | stuebinm | 3 | -4/+8 | |
| also don't keep adjusted maps around if not necessary | |||||
| 2022-03-19 | sprinkle some NFData everywhere | stuebinm | 3 | -7/+14 | |
| (also some evaluateNF, leading to slightly less memory usage) | |||||
| 2022-03-19 | server: remove a thunk leak | stuebinm | 3 | -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-19 | server: exneuland wants a token, apparently | stuebinm | 2 | -19/+16 | |
| 2022-03-19 | server: post map updates to exneuland's API | stuebinm | 2 | -19/+65 | |
| 2022-03-19 | server: remove cli-git, cli-extras | stuebinm | 2 | -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-19 | server: add mapservice GET endpoint | stuebinm | 5 | -57/+71 | |
| 2022-03-19 | internal state: sort according to org | stuebinm | 5 | -41/+82 | |
| (also, more lenses i guess) | |||||
| 2022-03-19 | server: repositores & orgs fixed in config | stuebinm | 5 | -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 later | stuebinm | 3 | -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-19 | server: switch to universum prelude, some cleanup | stuebinm | 4 | -138/+129 | |
| it's slightly less of a mess than it was before | |||||
| 2022-03-19 | server: added (somewhat) sensible logging | stuebinm | 2 | -27/+42 | |
| it's not very sensible, but at least it exists | |||||
| 2022-03-19 | server: more debug output | stuebinm | 1 | -1/+1 | |
| 2022-03-19 | server: admin interface | stuebinm | 4 | -64/+117 | |
| (for now, just a list of all maps and their current status) | |||||
| 2022-03-19 | server: present lint results in pretty html | stuebinm | 2 | -47/+124 | |
| (this is mostly a rewrite / translation of the django templates built into rc3's hub) | |||||
| 2022-03-19 | server: simple servant-lucid stuff | stuebinm | 3 | -8/+95 | |
| 2022-03-19 | server: simple toml config | stuebinm | 2 | -17/+39 | |
| 2022-03-19 | server: proper job handling | stuebinm | 3 | -67/+110 | |
| Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | |||||
| 2022-03-19 | non-blocking server | stuebinm | 4 | -88/+126 | |
| 2022-03-19 | basic server setup (using servant) | stuebinm | 3 | -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 … | |||||
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |