walint/server, branch playground A linter for workadventure maps server: small html improvements 2022-03-06T17:13:08+00:00 stuebinm 2022-03-06T17:13:08+00:00 6b71528e72458bcb5e0a0089033b9367c887967f bootstrap is horrible and should be replaced 
bootstrap is horrible and should be replaced
server: don't hardcode the websocket domain/protocol 2022-03-06T13:16:00+00:00 stuebinm 2022-03-06T13:16:00+00:00 80d6cadca15fdebb830e8b6006e38890ad0acbd9 






server: websocket for updates & auto-reload
2022-03-06T12:58:42+00:00

stuebinm

2022-03-06T12:58:42+00:00

e495931e6126896b09a5e95db8ba6f56fda42808

todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.





todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.







server: add a very simple relint button
2022-03-06T07:02:30+00:00

stuebinm

2022-03-06T07:02:30+00:00

ad7343815cc89d34c68f7d38239882bd3d36a577












mapserver: somewhat more decent logging
2022-03-03T17:13:30+00:00

stuebinm

2022-03-03T17:13:30+00:00

1a11fb5e4ad891d4f3230f386e78de3f6499fd30












server: write out adjusted maps
2022-02-25T15:30:45+00:00

stuebinm

2022-02-25T15:30:45+00:00

55c2994e856ceaf82edd06587e2faffb7c58950c












switch to universum prelude
2022-02-18T17:09:23+00:00

stuebinm

2022-02-18T17:09:23+00:00

7c49e6c367c9d021f3630c08a4a13ba9abc5df08

also don't keep adjusted maps around if not necessary





also don't keep adjusted maps around if not necessary







sprinkle some NFData everywhere
2022-02-16T23:41:36+00:00

stuebinm

2022-02-16T23:41:36+00:00

faa244e1a7e760be88054a5f15b3e115ad8e32e5

(also some evaluateNF, leading to slightly less memory usage)





(also some evaluateNF, leading to slightly less memory usage)







server: remove a thunk leak
2022-02-16T23:06:22+00:00

stuebinm

2022-02-16T23:06:22+00:00

487e06bf875ba8a835399b26095c756899b1209f

(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)





(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
2022-02-16T19:28:46+00:00

stuebinm

2022-02-16T19:28:46+00:00

7c73bf1d94b8a972ba64fb8210290de7e6ab2839