Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-03-19 | linter: some work on lints | stuebinm | 1 | -34/+41 | |
2022-03-19 | unbreak a very, very long rebase | stuebinm | 1 | -5/+4 | |
2022-03-19 | remove leftover rc3 things & some new stuff | stuebinm | 1 | -40/+28 | |
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-19 | linter: remove bbb-simulating code | stuebinm | 1 | -31/+3 | |
2022-03-19 | make tiled stricter (and organise some imports) | stuebinm | 1 | -31/+31 | |
2022-03-19 | separate tiled modules out into own package | stuebinm | 1 | -6/+5 | |
2022-03-19 | switch to universum prelude | stuebinm | 1 | -39/+36 | |
also don't keep adjusted maps around if not necessary | |||||
2022-03-19 | use hpack and clean up modules | stuebinm | 1 | -3/+4 | |
as annoying as yaml is, cabal's package format is somehow worse, apparently | |||||
2022-03-19 | use url package for parsing of urls | jonny | 1 | -3/+9 | |
2022-03-19 | fixed url injection by means of starting an url with "." and turning the ↵ | jonathan | 1 | -1/+8 | |
prefix into a subdomain | |||||
2021-12-29 | apparently people are using inter-assembly links internally?? | stuebinm | 1 | -2/+15 | |
lol | |||||
2021-12-29 | collides isn't unknown on tiles | stuebinm | 1 | -1/+2 | |
2021-12-29 | maps, maps, and yet more maps | stuebinm | 1 | -6/+6 | |
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) | |||||
2021-12-29 | why aren't boolean values typechecked??? | stuebinm | 1 | -1/+1 | |
2021-12-29 | tiles can also have properties like tile layers | stuebinm | 1 | -47/+54 | |
2021-12-28 | disallow more things in urls | stuebinm | 1 | -8/+1 | |
2021-12-28 | script links can't contain @ | stuebinm | 1 | -1/+3 | |
2021-12-28 | open BBBs in new Tab so that they work now :/ | tabascoeye | 1 | -2/+2 | |
PLEASE review! I have no idea of haskell | |||||
2021-12-27 | SECURITY: Fix path traversal in script verification | Serge Bazanski | 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. | |||||
2021-12-27 | fix bbb urls a second time … | stuebinm | 1 | -5/+1 | |
2021-12-27 | fix bbb url resolution | stuebinm | 1 | -1/+1 | |
2021-12-27 | type systems don't protect against off-by-one | stuebinm | 1 | -1/+1 | |
2021-12-26 | openWebsiteTriggerMessage can also be used for openTab | stuebinm | 1 | -2/+8 | |
2021-12-26 | Allow to copy sounds for custom JS with ObjectProperty `loadSound` | Sven G. Brönstrup | 1 | -1/+1 | |
2021-12-26 | separate blocking for separate contexts | stuebinm | 1 | -3/+5 | |
(audio links now have their own allowlist, which won't put things through the dereferrer) | |||||
2021-12-26 | change lint msg for property suggestions | stuebinm | 1 | -1/+1 | |
2021-12-25 | add lint if people set tilesetCopyright on tiles | stuebinm | 1 | -0/+2 | |
2021-12-25 | apply some hlint hints | stuebinm | 1 | -3/+3 | |
2021-12-25 | the lobby is allowed to contain defunct links | stuebinm | 1 | -12/+15 | |
2021-12-25 | hint if people set collides on tilesets | stuebinm | 1 | -1/+2 | |
2021-12-25 | better lint message | stuebinm | 1 | -1/+1 | |
2021-12-24 | persist, default aren't always booleans | stuebinm | 1 | -1/+0 | |
2021-12-24 | smaller changes | stuebinm | 1 | -1/+1 | |
2021-12-24 | allow openWebsiteAllowApi if website is on static.rc3.world | stuebinm | 1 | -2/+12 | |
2021-12-24 | allow shared (not just shared-) as prefix for shared jitsis | stuebinm | 1 | -1/+1 | |
this might make things less confusing for some people | |||||
2021-12-23 | extra lint for people confused by badges | stuebinm | 1 | -3/+4 | |
tbh I'm confused by them as well | |||||
2021-12-23 | some people define tilesets without images??? | stuebinm | 1 | -1/+3 | |
2021-12-23 | openTab's semantics are the same as openWebsite's | stuebinm | 1 | -9/+6 | |
(it's not a modifier for openWebsite, as I had previously though) | |||||
2021-12-23 | add suggestions for misspelled properties | stuebinm | 1 | -37/+77 | |
(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results) | |||||
2021-12-23 | disallow properties with different capitalisations | stuebinm | 1 | -10/+7 | |
since apparently sometimes workadventure is case-insensitive, and sometimes it's not | |||||
2021-12-22 | Fixed types of extended scripts properties | Sven G. Brönstrup | 1 | -3/+8 | |
2021-12-22 | shorten Properties.hs | stuebinm | 1 | -152/+76 | |
down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly) | |||||
2021-12-21 | Did some of the desired changes | Sven G. Brönstrup | 1 | -7/+10 | |
2021-12-21 | check that bbbRoom contains a valid assembly_slug | stuebinm | 1 | -7/+12 | |
2021-12-21 | correct bbb link substitution | stuebinm | 1 | -10/+11 | |
(unfortunately this one's hardcoded, the config options just aren't general enough) | |||||
2021-12-20 | generalise unwrapURI a bit | stuebinm | 1 | -4/+19 | |
2021-12-20 | something something encoding mismatch | stuebinm | 1 | -1/+1 | |
2021-12-20 | Resolved merge conflict | Sven G. Brönstrup | 1 | -5/+1 | |
2021-12-20 | Added extended script action zone properties | Sven G. Brönstrup | 1 | -0/+11 | |
2021-12-20 | forbid opening local html files in iframes | stuebinm | 1 | -2/+4 | |