search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
197 stars 35 forks source link

Routing & Cookies #183

Closed Trequetrum closed 10 months ago

Trequetrum commented 10 months ago

As far as I can tell, these two links load the same game:

but my browser keeps a separate set of cookies for each url. This could cause a user to think they've lost progress, when really they've used a different url without noticing.

joneugster commented 10 months ago

fixed in the next update.

joneugster commented 10 months ago

Might need to recover your progress manually if you played under a capitalised URL before.

Browser dev tools; local storage; in "game_progress" > "games" the keys should be of the form g/user/repo all lowercase. Rename any existing keys with upper case letters.