Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | … several hours of fighting with TOML later | stuebinm | 2022-03-19 | 6 | -71/+115 |
| | | | | | | 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-03-19 | 10 | -146/+1186 |
| | | | | it's slightly less of a mess than it was before | ||||
* | add haskell.nix build system | stuebinm | 2022-03-19 | 5 | -4/+57 |
| | | | | | | it's an annoying blockchain company, but apparently that thing is the only usable option to build stack things with nix without having to redefine all the (outdated) haskell packages in nixpkgs? | ||||
* | don't fail compilation if git is unavailable | stuebinm | 2022-03-19 | 1 | -1/+3 |
| | | | | (instead, `walint --version` will now just say "unknown") | ||||
* | server: added (somewhat) sensible logging | stuebinm | 2022-03-19 | 4 | -66/+75 |
| | | | | it's not very sensible, but at least it exists | ||||
* | server: more debug output | stuebinm | 2022-03-19 | 1 | -1/+1 |
| | |||||
* | server: admin interface | stuebinm | 2022-03-19 | 5 | -65/+118 |
| | | | | (for now, just a list of all maps and their current status) | ||||
* | server: present lint results in pretty html | stuebinm | 2022-03-19 | 11 | -47/+2359 |
| | | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub) | ||||
* | server: simple servant-lucid stuff | stuebinm | 2022-03-19 | 8 | -12/+111 |
| | |||||
* | server: simple toml config | stuebinm | 2022-03-19 | 5 | -17/+49 |
| | |||||
* | server: proper job handling | stuebinm | 2022-03-19 | 5 | -67/+114 |
| | | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | ||||
* | non-blocking server | stuebinm | 2022-03-19 | 6 | -94/+134 |
| | |||||
* | basic server setup (using servant) | stuebinm | 2022-03-19 | 7 | -3/+274 |
| | | | | | | | 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 … | ||||
* | use hpack and clean up modules | stuebinm | 2022-03-19 | 13 | -148/+219 |
| | | | | as annoying as yaml is, cabal's package format is somehow worse, apparently | ||||
* | playing around with types | stuebinm | 2022-03-19 | 4 | -1/+40 |
| | |||||
* | use url package for parsing of urls | jonny | 2022-03-19 | 3 | -13/+32 |
| | |||||
* | fixed url injection by means of starting an url with "." and turning the ↵ | jonathan | 2022-03-19 | 1 | -1/+8 |
| | | | | prefix into a subdomain | ||||
* | add dot language output for repository map graphs | stuebinm | 2021-12-30 | 4 | -27/+60 |
| | |||||
* | apparently people are using inter-assembly links internally?? | stuebinm | 2021-12-29 | 1 | -2/+15 |
| | | | | lol | ||||
* | Merge branch 'pipeline-caching' into 'main' | stuebinm | 2021-12-29 | 1 | -5/+6 |
|\ | | | | | | | | | Pipeline caching See merge request hub/walint!9 | ||||
| * | Pipeline caching | stuebinm | 2021-12-29 | 1 | -5/+6 |
|/ | |||||
* | collides isn't unknown on tiles | stuebinm | 2021-12-29 | 1 | -1/+2 |
| | |||||
* | maps, maps, and yet more maps | stuebinm | 2021-12-29 | 6 | -21/+50 |
| | | | | | | | don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later) | ||||
* | pipeline's not lazy enough | stuebinm | 2021-12-29 | 1 | -4/+4 |
| | | | | (thanks to jonathan for showing me that this exists) | ||||
* | pipeline's not lazy enough | stuebinm | 2021-12-29 | 1 | -0/+4 |
| | | | | (thanks to jonathan for showing me that this exists) | ||||
* | the lobby lacks reflexivity | stuebinm | 2021-12-29 | 1 | -1/+2 |
| | |||||
* | why aren't boolean values typechecked??? | stuebinm | 2021-12-29 | 1 | -1/+1 |
| | |||||
* | Merge branch 'tabascoeye-main-patch-92942' into 'main' | stuebinm | 2021-12-29 | 1 | -1/+1 |
|\ | | | | | | | | | Update CheckMap.hs to make missing back link to lobby an ERROR See merge request hub/walint!7 | ||||
| * | Update CheckMap.hs to make missing back link to lobby an ERROR | tabascoeye | 2021-12-28 | 1 | -1/+1 |
| | | |||||
* | | tiles can also have properties like tile layers | stuebinm | 2021-12-29 | 3 | -52/+79 |
|/ | |||||
* | disallow more things in urls | stuebinm | 2021-12-28 | 1 | -8/+1 |
| | |||||
* | script links can't contain @ | stuebinm | 2021-12-28 | 1 | -1/+3 |
| | |||||
* | Merge branch 'BBB-openTab' into 'main' | stuebinm | 2021-12-28 | 1 | -2/+2 |
|\ | | | | | | | | | open BBBs in new Tab so that they work now :/ See merge request hub/walint!5 | ||||
| * | open BBBs in new Tab so that they work now :/ | tabascoeye | 2021-12-28 | 1 | -2/+2 |
|/ | | | PLEASE review! I have no idea of haskell | ||||
* | wa gets an extra ausgang | stuebinm | 2021-12-28 | 1 | -1/+1 |
| | | | | | (please only deploy once https://git.cccv.de/hub/hub/-/merge_requests/492 is also deployed) | ||||
* | SECURITY: Fix path traversal in script verification | Serge Bazanski | 2021-12-27 | 1 | -2/+3 |
| | | | | | | | | The following used to be allowed: scripts: https://static.rc3.world/scripts/../maps/81c8add623eea2704f20/e65b545e-342f-4be0-b369-c0eacff7b15d/re-blessed.mp3.js This is obviously not good, as it allows scripts from arbitrary maps. | ||||
* | fix bbb urls a second time … | stuebinm | 2021-12-27 | 1 | -5/+1 |
| | |||||
* | warn if main.json does not link back to lobby | stuebinm | 2021-12-27 | 1 | -6/+13 |
| | |||||
* | allow live.dort.c3voc.de for audio | stuebinm | 2021-12-27 | 1 | -1/+1 |
| | |||||
* | Merge branch 'tabascoeye-main-patch-20036' into 'main' | stuebinm | 2021-12-27 | 1 | -1/+1 |
|\ | | | | | | | | | I would like to show the fahrplan in an iframe. Please allow See merge request hub/walint!4 | ||||
| * | I would like to show the fahrplan in an iframe. Please allow | tabascoeye | 2021-12-27 | 1 | -1/+1 |
|/ | |||||
* | fix bbb url resolution | stuebinm | 2021-12-27 | 1 | -1/+1 |
| | |||||
* | allow *.streamproxy.rc3.world | stuebinm | 2021-12-27 | 1 | -1/+2 |
| | |||||
* | type systems don't protect against off-by-one | stuebinm | 2021-12-27 | 1 | -1/+1 |
| | |||||
* | urlencode dereferrer links | stuebinm | 2021-12-27 | 2 | -3/+4 |
| | |||||
* | openWebsiteTriggerMessage can also be used for openTab | stuebinm | 2021-12-26 | 1 | -2/+8 |
| | |||||
* | Merge branch 'main' into 'main' | stuebinm | 2021-12-26 | 1 | -1/+1 |
|\ | | | | | | | | | Allow to copy sounds for custom JS with ObjectProperty `loadSound` See merge request hub/walint!3 | ||||
| * | Allow to copy sounds for custom JS with ObjectProperty `loadSound` | Sven G. Brönstrup | 2021-12-26 | 1 | -1/+1 |
|/ | |||||
* | separate blocking for separate contexts | stuebinm | 2021-12-26 | 5 | -32/+56 |
| | | | | | (audio links now have their own allowlist, which won't put things through the dereferrer) | ||||
* | missing entrypoints can be non-fatal | stuebinm | 2021-12-26 | 1 | -7/+8 |
|\ |